Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por João Alexandre Saraiva

2002

Preface

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

Publicação
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

Autores
Lammel, R; Visser, J; Saraiva, J;

Publicação
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

Autores
Lammel, R; Saraiva, J; Visser, J;

Publicação
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2005

Editorial: Programming languages track

Autores
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;

Publicação
Proceedings of the ACM Symposium on Applied Computing

Abstract

2003

Electronic Notes in Theoretical Computer Science: Preface

Autores
Bryant, B; Saraiva, J;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract

2007

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

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

Publicação
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.

  • 23
  • 26