Login

in_proceedings

Visualising Hidden Spatiotemporal Patterns at Multiple Levels of Detail

InProceedings

Published in 01/07/2018

Authors

Ricardo Silva, João Moura Pires, Nuno Datia, Maribel Yasmina Santos, Bruno Martins, Fernando Birra,

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,

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,

Towards an Approach to Elicit Domain Requirements from Social Networks: The Case of Emergency Systems

InProceedings

Published in 01/04/2018

Authors

Claudio Borges, João Araújo, Armanda Rodrigues,

Deriving Services using KAOS Models

InProceedings

Published in 01/03/2018

Authors

Eric Souza, Ana Moreira,

A SPL Framework for Adaptive Deception-based Defense

InProceedings

Published in 01/01/2018

Authors

Cristiano De Faveri, Ana Moreira,