Home  \  Prototypes

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

---

page 9 of 16 - listing prototypes 81 to 90 of a total of 157

order:  by datealphabetically

CaesarJ implementations of selected GoF design patterns
   Miguel Pessoa Monteiro
   May, 2009

LEXICAL
   Gabriel Pereira Lopes, Luís Gomes
   February, 2009

OHMS - OrcHestration of Middleware Services
   Hervé Paulino
   February, 2009

IStar Editor
   João Araújo, Vasco Amaral, Vasco Sousa
   2009

SilC to Cell-C Compiler
   Hervé Paulino
   2009

VML4RE - Variability Modelling Language for Requirements Engineering
   João Araújo, Ana Moreira, Mauricio Alférez, João Santos
   2009

SLMC-K - extension of SLMC for checking security protocol verification
   Luis Caires, Bernardo Toninho
   2009

Model Checker for SOA systems modeled in the Conversation Calculus
   Luis Caires, Hugo Torres Vieira
   2009

Comanche
   Nuno Preguiça
   2009

VML*
   João Araújo, Ana Moreira, Mauricio Alférez, João Santos
   2009