Publications

Publications by HASLab

2008

The Objects and Arrows of Computational Design

Authors
Batory, D; Azanza, M; Saraiva, J;

Publication
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS

Abstract
Computational Design (CD) is a paradigm where both program design and program synthesis are computations. CD merges Model Driven Engineering (MDE) which synthesizes programs by transforming models, with Software Product Lines (SPL) where programs are synthesized by composing trans format ions called features. In this paper, basic relationships between MDE and SPL are explored using the language of modern mathematics.

CloseRead Abstract

2008

Disentangling Denotational Semantics Definitions

Authors
Tirelo, F; Bigonha, RS; Saraiva, J;

Publication
JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Abstract
Denotational semantics is a powerful technique to formally de. ne programming languages. However, language constructs are not always orthogonal, so many semantic equations in a definition may have to be aware of unrelated constructs semantics. Current approaches for modularity in this formalism do not address this problem, providing, for this reason, tangled semantic definitions. This paper proposes an incremental approach for denotational semantic specifications, in which each step can either add new features or adapt existing equations, by means of a formal language based on function transformation and aspect weaving.

CloseRead Abstract

2008

Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

Authors
Lämmel, R; Visser, J; Saraiva, J;

Publication
GTTSE

Abstract

2008

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Authors
Lammel, R; Visser, J; Saraiva, J;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2008

Analysing Human Aspects of Safety-Critical Software

Authors
Harrison, MD; Campos, JC;

Publication
ERCIM News

Abstract

2008

Connecting Rigorous System Analysis to Experience-Centered Design

Authors
Harrison, MD; Campos, JC; Doherty, GJ; Loer, K;

Publication
Maturing Usability - Quality in Software, Interaction and Value

Abstract