Publications

Publications by João Alexandre Saraiva

2002

Preface

Authors
Barthe, G; Dybjer, P; Pinto, L; Saraiva, J;

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

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

2006

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

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

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

Abstract

2005

Editorial: Programming languages track

Authors
Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; Saraiva, J; Sloane, T; Wile, D; Winkler, J;

Publication
Proceedings of the ACM Symposium on Applied Computing

Abstract

2003

Electronic Notes in Theoretical Computer Science: Preface

Authors
Bryant, B; Saraiva, J;

Publication
Electronic Notes in Theoretical Computer Science

Abstract

2007

Integration of RE and MDE paradigms: the projectIT approach and tools

Authors
da Silva, AR; Saraiva, J; Ferreira, D; Silva, R; Videira, C;

Publication
IET SOFTWARE

Abstract
The suggestion that in software development projects the emphasis must be on the project management (RE), requirements engineering, and design activities, and consequently efforts in production activities - such as traditional software programming and testing - should be minimised and performed as automatically as possible is discussed. The ProjectIT approach that integrates contributions from the RE and model-driven engineering communities is also discussed. The goal with requirement specification is not just in managing textual specifications, but also to obtain a consistent requirements document that is in conformance with a domain-specific language, and that can be re-used to increase the design and development activities in the context of model driven and code generation techniques. Furthermore, the feasibility and benefits of this approach by presenting a proof-of-concept case study are discussed, in which the orchestration of the concepts and concrete components related with the ProjectIT approach, the PIT-RSL, XIS and PIT-TSL languages and the ProjectIT-Studio CASE tool is emphasised. A practical demonstration of the approach including the description of the system requirements, the design of the system, the use of code generation techniques, and how they integrate to improve and accelerate the software engineering lifecycle is presented.

CloseRead Abstract