Merging cloned alloy models with colorful refactorings

Likewise to code, clone-and-own is a common way to create variants of a model, to explore the impact of different features while exploring the design of a software system. Previously, we have introduced Colorful Alloy, an extension of the popular Alloy language and toolkit to support feature-oriented design, where model elements can be annotated with feature expressions and further highlighted with different colors to ease understanding. In this paper we propose a catalog of refactorings for Colorful Alloy models, and show how they can be used to iteratively merge cloned Alloy models into a single feature-annotated colorful model, where the commonalities and differences between the different clones are easily perceived, and more efficient aggregated analyses can be performed.This work is financed by the ERDF — European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation – COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT – Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 – POCI-01-0145-FEDER-029583

Autonomic Modulation and Health-Related Quality of Life among Schizophrenic Patients Treated with Non-Intensive Case Management

Schizophrenia is associated with autonomic dysfunction and this may increase cardiovascular mortality. Past studies on autonomic modulation of schizophrenic patients focused on inpatients rather than individuals in a community setting, especially those receiving non-intensive case management (non-ICM). Besides, autonomic modulation and its association with health-related quality of life (HRQoL) in this population remain unexplored.A total of 25 schizophrenic patients treated by non-ICM and 40 healthy volunteers were matched by age, gender and body mass index; smokers were excluded. Between the two groups, we compared the individuals' 5 min resting assessments of heart rate variability and their HRQoL, which was measured using EuroQoL-5D (EQ-5D). Patients with schizophrenia were assessed for psychopathology using the Positive and Negative Syndrome Scale for Schizophrenia (PANSS). We examined the relationship between heart rate variability measurements, HRQoL scores, PANSS scores, and other clinical variables among the schizophrenic patients treated by non-ICM.Compared to the controls, patients with schizophrenia showed a significant impairment of autonomic modulation and a worse HRQoL. Cardiovagal dysfunction among the schizophrenic patients could be predicted independently based on lower educational level and more negative symptoms. Sympathetic predominance was directly associated with anticholinergics use and EQ-5D using a visual analogue scale (EQ-VAS).Patients with schizophrenia treated by non-ICM show a significant impairment of their autonomic function and HRQoL compared to the controls. Since the sympathovagal dysfunction is associated with more negative symptoms or higher VAS score, the treatment of the negative symptoms as well as the monitoring of HRQoL might help to manage cardiovascular risk among these individuals. In addition, EQ-VAS scores must be interpreted more cautiously in such a population

A Systematic Survey of Program Comprehension through Dynamic Analysis

Preprint of paper published in: IEEE Transactions on Software Engineering, 35 (5), 2009; doi:10.1109/TSE.2009.28 Program comprehension is an important activity in software maintenance, as software must be sufficiently understood before it can be properly modified. The study of a program's execution, known as dynamic analysis, has become a common technique in this respect and has received substantial attention from the research community, particularly over the last decade. These efforts have resulted in a large research body of which currently there exists no comprehensive overview. This paper reports on a systematic literature survey aimed at the identification and structuring of research on program comprehension through dynamic analysis. From a research body consisting of 4,795 articles published in 14 relevant venues between July 1999 and June 2008 and the references therein, we have systematically selected 176 articles and characterized them in terms of four main facets: activity, target, method, and evaluation. The resulting overview offers insight in what constitutes the main contributions of the field, supports the task of identifying gaps and opportunities, and has motivated our discussion of several important research directions that merit additional consideration in the near future.Software Computer TechnologyElectrical Engineering, Mathematics and Computer Scienc

A Systematic Survey of Program Comprehension through Dynamic Analysis

Program comprehension is an important activity in software maintenance, as software must be sufficiently understood before it can be properly modified. The study of a program's execution, known as dynamic analysis, has become a common technique in this respect and has received substantial attention from the research community, particularly over the last decade. These efforts have resulted in a large research body of which currently there exists no comprehensive overview. This paper reports on a systematic literature survey aimed at the identification and structuring of research on program comprehension through dynamic analysis. From a research body consisting of 4,795 articles published in 14 relevant venues between July 1999 and June 2008 and the references therein, we have systematically selected 176 articles and characterized them in terms of four main facets: activity, target, method, and evaluation. The resulting overview offers insight in what constitutes the main contributions of the field, supports the task of identifying gaps and opportunities, and has motivated our discussion of several important research directions that merit additional consideration in the near future.Electrical Engineering, Mathematics and Computer Scienc

Do You Have 5 Minutes To Spare? –The Challenges Of Stakeholder Processes In Ecosystem Services Studies

Operationalization of the ecosystem services (ES) concept for improved natural resource management and decision support cannot, thus far, be rated as satisfactory. Participation of stakeholders is still a major methodical and conceptual challenge for implementing ES. Therefore, we conducted an online survey and a literature analysis to identify benefits and challenges of the application of ES in participatory processes. The results show that the purpose of stakeholder engagement is very diverse as a result of varying objectives, spatial scales and institutional levels of analysis. The complexity, terminology and (lacking) coherent classification of ES are pivotal aspects that should be accounted for in the design of studies to improve stakeholder participation. Although limitations of time and financial resources are bigger challenges than ES related ones, tailoring communication strategies and information for different stakeholder groups are of major importance for the success of ES studies. Results support the view that the potential benefits of applying ES, e.g., consensus finding, and development of integrated solutions, cannot be realized consistently across the different spatial scales and decision-making levels. Focusing on stakeholder processes represents a means to increase the relevance, reliability and impact of study results and to move participation in ES research from theory to reality

Author manuscript, published in "International Conference on Objects, Models, Components and Patterns (TOOLS) (2010)" Domain-Specific Program Checking ⋆

www.sw-eng.c