Querying and analyzing source code interactively is a critical task in reverse engineering and program understanding. Current source code query systems lack suucient formalism and ooer limited query capabilities. In this paper, we introduce the formal framework of Source Code Algebra (SCA), and outline a source code query system based on it. SCA provides a formal data model for source code, an ...

Background Conceptual models developed through qualitative research are based on the unique experiences of suffering and individuals' adoptions of each participant. A wide array of problems are faced by head-and-neck cancer (HNC) patients due to disease pathology and treatment modalities which are sufficient to influence the quality of life (QOL). Men possess greater self-acceptance and are bet...

The Problem: A serious problem of most pattern-directed, transformation-based program generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored and highly abstract operators and operands to gain the combinatorial programming leverage provided by compositions of abstractions, 2) high performance code in the generated program, and 3) small ...

this study investigates the relationship between extraversion/introversion personality dimension and the use of strategic competence (sc) in oral referential communication by iranian efl learners. referential communication refers to a kind of guided communication in which the referents (or topics) are given to the speakers to convey their meanings to the listeners. 50 sophomore english students...

An information architecture (IA) specification is given for a dutch organization, the CBR (Central Bureau for certificates of driving proficiency). A discussion of the specification process shows that other issues are taken into account than those tackled by the information planning method used. However, this is done in an informal and intuitive manner. We argue that the specification of altern...

A remarkable feature of human beings is their capacity for creative behaviour, referring to their ability to react to problems in ways that are novel, surprising, and useful. Transformational creativity is a form of creativity where the creative behaviour is induced by a transformation of the actor’s conceptual space, that is, the representational system with which the actor interprets its envi...

In Model-Driven Development (MDD) processes, models are key artifacts that are used as input for code generation. Therefore, it is very important to evaluate the quality of these input models in order to obtain high-quality software products. The detection of defects is a promising technique to evaluate software quality, which is emerging as a suitable alternative for MDD processes. The detecti...

Decades of research have demonstrated that students face critical conceptual challenges in learning mathematics. As new adaptive learning technologies become ubiquitous in education, they bring opportunities both to facilitate conceptual development in more focused ways and to gather data that may yield new insights into students’ learning processes. The present study analyzes data archives fro...

Context: Model-Driven Development (MDD) is a paradigm that prescribes building conceptual models that abstractly represent the system and generating code from these models through transformation rules. The literature is rifely represent the system and generating code from these models through transformation rules. The literature is rife with claims about the benefits of MDD, but they are hardly...