Login

Prototypes

Comanche

Prototype

Authors

Nuno Preguiça,

Forby

Prototype

Authors

Nuno Preguiça,

CxProlog plugin for the Code::Blocks IDE

Prototype

Authors

Artur Miguel Dias,

VML4RE – Variability Modelling Language for Requirements Engineering

Prototype

Authors

Ana Moreira, João Araújo, Ankica Barisic, Ankica Barisic,

SLMC-K – extension of SLMC for checking security protocol verification

Prototype

Authors

Luis Caires, Bernardo Toninho,

MEMORIA

Prototype

Authors

Nuno Correia, Rui Jesus,

Model Checker for SOA systems modeled in the Conversation Calculus

Prototype

Authors

Luis Caires, Hugo Torres Vieira,

Pen-based Video Annotations

Prototype

Authors

Nuno Correia, Diogo Cabral,

Typechecker for a type and effect system for access control

Prototype

Authors

Ankica Barisic,

Agenda21 Public Participation collaborative Platform

Prototype

Authors

Ankica Barisic,