Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

A process to support the creation of iStar extensions

InProceedings

Published in 01/03/2020

Authors

Jaelson B. Castro, João Araújo,

On Understanding How Developers Perceive and Interpret Privacy Requirements Research Preview

InProceedings

Published in 01/03/2020

Authors

João Araújo, Mariana Peixoto, Mateus Cavalcanti, Carla Silva, Tony Gorschek, Dayse Ferreira,

Using Empirical Studies to Mitigate Symbol Overload in iStar Extensions for Software and Systems Modeling

Article

Published in 01/12/2019

Authors

Camilo Almendra, Miguel Goulão, João Araújo, Jaelson B. Castro,

iStar-p: A Modelling Language for Requirements Prioritization

InProceedings

Published in 15/10/2019

Authors

Cinthya Flório, Maria Lencastre, João Pimentel, João Araújo,

iStar4RationalAgents: Modeling Requirements of Multi-agent Systems with Rational Agents

InProceedings

Published in 15/10/2019

Authors

Enyo Gonçalves, João Araújo, Jaelson Castro ,

GOSPEL — Providing OCaml with a Formal Specification Language

InProceedings

Published in 01/10/2019

Authors

Mário Pereira,

Domain-Aware Session Types

InProceedings

Published in 04/09/2019

Authors

Luis Caires, Jorge A Pérez, Frank Pfenning, Bernardo Toninho, Wan J. Fokkink, Rob van Glabbeek,

Analysing gender differences in building social goal models: a quasi-experiment

InProceedings

Published in 01/09/2019

Authors

Catarina Gralha, Miguel Goulão, João Araújo,

Requirements Specification for Developers in Agile Projects: Evaluation by two Industrial Case Studies

Article

Published in 01/09/2019

Authors

Juliana Medeiros, Alexandre Vasconcelos, Carla Silva, Miguel Goulão,

A Family of Domain-Specific Languages for Integrated Modular Avionics

InProceedings

Published in 01/08/2019

Authors

Ricardo Alves, Vasco Amaral, Bruno Tavares,

Towards high-level fuzzy control specifications for building automation systems

Article

Published in 01/08/2019

Authors

Juan Vidal, Paulo Carreira, Vasco Amaral,

Programming Languages and Systems – 28th European Symposium on Programming, ESOP 2019

Book

Published in 01/08/2019

Authors

Luis Caires,

Improving the Usability of a MAS DSML

InProceedings

Published in 01/07/2019

Authors

Moharram Challenger, Baris Tezel, Omer Alaca, Ankica Barisic, Vasco Amaral, Miguel Goulão, Geylani Kardas,

Multi-paradigm deception modeling for cyber defense

Article

Published in 01/07/2019

Authors

Ana Moreira, Cristiano De Faveri, Vasco Amaral,

A Mobile System to Increase Efficiency of the Lecturers when Preventing Academic Dishonesty During Written Exams

InProceedings

Published in 01/07/2019

Authors

Pedro Maroco, Vasco Amaral,

Using Gamification to Motivate Occupants to Energy Efficiency in a Social Setting of a Building Automation System

InProceedings

Published in 01/07/2019

Authors

Joana Páris, Joao Cambeiro, Vasco Amaral, Armanda Rodrigues,

Formal Techniques for Distributed Objects, Components, and Systems – 38th IFIP WG 6.1 International Conference, FORTE 2018

Book

Published in 20/06/2019

Authors

Christel Baier, Luis Caires,

Deriving architectural models from requirements specifications: A systematic mapping study

Article

Published in 01/05/2019

Authors

Ana Moreira, Eric Souza, Miguel Goulão,

Manifest Deadlock-Freedom for Shared Session Types

InProceedings

Published in 06/04/2019

Authors

Stephanie Balzer, Bernardo Toninho, Frank Pfenning,

Dealing with non-functional requirements in model-driven development: A survey

Article

Published in 01/03/2019

Authors

Ana Moreira, Antonio Vallecillo, David Ameller, Henry Muccini, João Araújo, Jordi Cabot, Manuel Wimmer, Miguel Goulão, Sabine Teufl, Stefan Biffl, Vasco Amaral, Vittorio Cortellessa, Xavier Franch, Luca Berardinelli,

Software Systems