Dear Reader, The MoVES project on Modelling, Verification and Evolution of Software is sponsored by the Belgian government with its “Interuniversity Attraction Poles” (IAP) Programme which aims at providing support for teams of excellence in basic research that belong to Belgium’s various (linguistic) Communities. These teams work as part of a network in order to increase their joint contributi...

Mobile applications and on-body devices are becoming increasingly ubiquitous tools for physical activity tracking. We propose utilizing a self-tracker’s habits to support continuous prediction of whether they will reach their daily step goal, thus enabling a variety of potential persuasive interventions. Our aim is to improve the prediction by leveraging historical data and other qualitative (m...

Determining which factors promote or impede the sharing of knowledge within organizations constitutes an important area of research. This paper examines knowledge sharing through the lens of equity theory. The study will explore the impact of three types of justice – distributional, procedural and interactional – on knowledge sharing. Hypotheses regarding the influence of distributional, proced...

Over the past decade, there has been an increasing interest in the study of interactional metadiscourse markers in different contexts. However, not much research has been conducted about the discourse of journal author guidelines, especially the use of meta-discourse markers in this genre. Therefore, this corpus-based study had three main aims: 1) to delve deep into the types, frequencies and f...

Consonants in word onsets are, in English and Dutch, more frequently misspoken than consonants in other positions, and also more frequently than expected from the relative numbers of onset consonants and other consonants. We argue here that relative numbers of segments in specific positions in the word is not a valid predictor of relative frequencies of segmental speech errors. A more valid pre...

Visual object database browsers are essentially based on two kinds of interactions: navigation within a collection of objects, and navigation between objects via their relationships. These two interactional operators have proven to adequately support the main user task addressed by these tools, i.e. exploring the states of a set of related objects. In temporal object databases, visual browsing ...

We analyse a recent paper by Goddiksen (2014) where the author raises questions about the relationship between authorship, attribution and Collins & Evans' concept of contributory and interactional expertise. We then highlight recent empirical work in the sociology of climate change science that has made similar points in order to clarify how authorship, division of labour and contribution are ...

Synopsis: This paper outlines a dynamic formalism for modelling interaction. A dynamic formalism models the behaviour potential at each point throughout an interaction, rather than trying to present the possible types of completed interaction structures, as in a synoptic approach. It is thus more concerned with interaction as process, rather than interaction as product. We model an interaction ...