PROTOTYPES
- VML4RE - Variability Modelling Language for Requirements Engineering
- 1 Jan 2009
- Ana Moreira, João Araújo, Mauricio Alférez, João Santos
- SLMC-K - extension of SLMC for checking security protocol verification
- 1 Jan 2009
- Luis Caires, Bernardo Toninho
- Model Checker for SOA systems modeled in the Conversation Calculus
- 1 Jan 2009
- Luis Caires, Hugo Torres Vieira
- VML* (Variability Modeling Languages for Model-Based Software Product Lines)
- 1 Jan 2009
- Ana Moreira, João Araújo, Mauricio Alférez, João Santos
Prototype
Prototype
Prototype
Prototype