Builders of groupware writing technologies need a better understanding of collaborative writing if their systems are to adequately address user needs. This paper presents a taxonomy of joint writing based on an analysis of interviews with authors who have written documents together. The taxonomy describes joint writing in terms of four components: roles played in the collaboration, activities p...

Writing apprehension is not a new problem faced by most ESL (English as second language) /EFL foreign learners. There are many studies done to determine the reasons and suitable strategies overcome this issue. In present study, an analysis of systematic review based on past published between 2012 2022 reduce writing presented. A total seventeen articles were reviewed in detailed search procedur...

Since the advent of the process approach in writing research, composition theorists and cognitive psychologists have been trying to develop cognitive models that describe how people write. But they have run up against a major obstacle. Adults use such a wide variety of strategies that no single model can describe them all. In this paper we present a new view of adult writing strategies. We argu...

Spanish undergraduates of English Studies are required to submit their essays in academic English, a genre which most of them are not acquainted with. This paper aims to explore the extralinguistic side of second language (L2) academic writing, more specifically, the combination of metalinguistic items (e.g. transition and frame markers, among others) with students' writing strategies when comp...

This paper, as part of an ongoing study, reports a qualitative case study in investigating pre-writing activities among three English as Foreign language (EFL) learners in an online community via a facebook group. The data were collected from the learners’ interactional exchanges, observation notes of their interaction and responses to online written interview questions. Based on a qualitative ...

PVS (Prototype Verification System) is a comprehensive framework for writing formal logical specifications and constructing proofs. An interactive proof checker is a key component of PVS. The capabilities of this proof checker can be extended by defining proof strategies that are similar to LCF-style tactics. Commonly used proof strategies include those for discharging typechecking proof obliga...