Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

Interconnectability of Session-Based Logical Processes

Article

Published in 13/12/2018

Authors

Bernardo Toninho, Nobuko Yoshida,

The Impact of Code Smells on Software Bugs: A Systematic Literature Review

Article

Published in 06/11/2018

Authors

Aloisio Cairo, Glauco Carneiro, Miguel Monteiro,

Improving the developer experience with a low-code process modelling language

InProceedings

Published in 01/10/2018

Authors

Henrique Henriques, Vasco Amaral, Miguel Goulão,

Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax

InProceedings

Published in 01/10/2018

Authors

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

RESEDA: Declaring Live Event-driven Computations as REactive SEmi-structured DAta

InProceedings

Published in 01/10/2018

Authors

João Costa Seco, Thomas Hildebrandt,

Comparing the Usability of two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS Study Design

InProceedings

Published in 01/10/2018

Authors

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

Evaluating the efficiency of using a search-based automated model merge technique

InProceedings

Published in 01/10/2018

Authors

Ankica Barisic, Csaba Debreceni, Daniel Varro, Vasco Amaral, Miguel Goulão,

BOUQUET—Aggregating Network Paths in Trees to Reduce Data-Plane Forwarding State

Article

Published in 01/10/2018

Authors

Margarida Mamede, José Legatheaux Martins,

A Universal Session Type for Untyped Asynchronous Communication

InProceedings

Published in 31/08/2018

Authors

Stephanie Balzer, Frank Pfenning, Bernardo Toninho,

A Universal Session Type for Untyped Asynchronous Communication

InProceedings

Published in 31/08/2018

Authors

Stephanie Balzer, Frank Pfenning, Bernardo Toninho,

On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Models

InProceedings

Published in 01/08/2018

Authors

Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo, Ana Moreira,

Comparing business value modeling methods: A family of experiments

Article

Published in 01/08/2018

Authors

Eric Souza, Ana Moreira, João Araújo, Emilio Insfran, Denis Silveira,

SNITCH: dynamic dependent Information flow for independent Java bytecode

InProceedings

Published in 01/07/2018

Authors

Eduardo Geraldo, João Costa Seco,

Typing the Evolution of Variational Software

InProceedings

Published in 01/06/2018

Authors

João Costa Seco, Jácome Cunha,

A static verification framework for message passing in Go using behavioural types

InProceedings

Published in 27/05/2018

Authors

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida,

The Evolution of Requirements Practices in Software Startups

InProceedings

Published in 01/05/2018

Authors

Catarina Gralha, Daniela Damian, Anthony I. (Tony) Wasserman, Miguel Goulão, João Araújo,

On Polymorphic Sessions and Functions – A Tale of Two (Fully Abstract) Encodings

InProceedings

Published in 14/04/2018

Authors

Bernardo Toninho, Nobuko Yoshida,

Depending on Session-Typed Processes

InProceedings

Published in 14/04/2018

Authors

Bernardo Toninho, Nobuko Yoshida,

Quality of software requirements specification in agile projects: A cross-case analysis of six companies

Article

Published in 01/04/2018

Authors

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

Leveraging Teenagers Feedback in the Development of a Domain-Specific Language – The Case of Programming Low-Cost Robots

InProceedings

Published in 01/04/2018

Authors

Ankica Barisic, Vasco Amaral, Miguel Goulão,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems