Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

Formal Approach to Software Architecture

FAST Concluded

01/07/2000 - 01/06/2004

Team

Luis Caires, Miguel Wermelinger,

Desenvolvimento de Software com Aspectos

SOFTAS Concluded

01/04/2005 - 01/05/2008

Team

Ana Moreira, João Araújo, Miguel Goulão, Miguel Monteiro, Sérgio Bryton, Pedro Guerreiro, Fernando Brito e Abreu, Isabel Brito,

Multidimensional Dimensional Analysis of Requirements Level Trade-Offs

MULDRE Concluded

01/01/2004 - 21/02/2007

Team

Ana Moreira, João Araújo,

Software Engineering for Service-Oriented Overlay Computers

SENSORIA Concluded

01/09/2005 - 01/05/2010

Team

Luís Monteiro, Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira,

Behavioural and Spatial Type Systems

Space-Time-Types Concluded

01/03/2005 - 01/03/2008

Team

Luis Caires, Vasco Vasconcelos,

Applied Semantics II

APPSEM II Concluded

01/01/2003 - 01/01/2006

Team

Luis Caires,

Proofs of Functionality for Mobile Distributed Systems

PROFUNDIS Concluded

01/01/2002 - 30/04/2005

Team

Luís Monteiro, Luis Caires, Hugo Torres Vieira,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems