Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

ComponentJ

Prototype

Authors

Luis Caires, João Costa Seco,

Model Checker for SOA systems modeled in the Conversation Calculus

Prototype

Authors

Luis Caires, Hugo Torres Vieira,

TyCO – Typed Concurrent Objects (version 0.41)

Prototype

Authors

Hervé Paulino, Vasco Vasconcelos, Francisco Martins,

Typechecker for a type and effect system for access control

Prototype

Authors

Ankica Barisic,

PVM-Prolog

Prototype

Authors

José Cardoso e Cunha, Rui Marques,

CO-OPN Parallel Run-Time

Prototype

Authors

João Lourenço, Vasco Amaral,

CxProlog version 0.94.1

Prototype

Authors

Artur Miguel Dias,

DSL Trans

Prototype

Authors

Vasco Amaral, Bruno Barroca, Vasco Sousa,

CxProlog version 0.96.1

Prototype

Authors

Artur Miguel Dias,

DSL-AR

Prototype

Authors

Vasco Amaral, Bruno Barroca,

TyCO – Typed Concurrent Objects (version 0.4)

Prototype

Authors

Hervé Paulino, Vasco Vasconcelos, Francisco Martins,

ATF-QL

Prototype

Authors

Ana Moreira, João Araújo, Vasco Amaral,

STAGGER – Syntactic Tagger

Prototype

Authors

Vitor Rocio,

UbiLang

Prototype

Authors

Nuno Correia, Vasco Amaral,

PETISCO

Prototype

Authors

Artur Miguel Dias, Ankica Barisic,

Arcade (Aspectual Requirements Composition and Decision support tool)

Prototype

Authors

Ana Moreira, João Araújo,

EMOLITE

Prototype

Authors

Ana Moreira,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems