| Home \ Prototypes | Login |
[ Prototypes ]
List of Software Prototypes done by CITI Members.| page 1 of 4 - listing prototypes 1 to 10 of a total of 32 |
Consistent State Software Transactional Memory V2.0 (CTL-v2.0)João Lourenço, Ricardo Dias
August, 2008
Transactional File System (v0.1)João Lourenço, Ricardo Dias
July, 2008
yak prototypeFilipe Militão
July, 2008
Traceability FrameworkJoão Araújo, Ana Moreira, Vasco Amaral, Mauricio Alférez, André Sousa, João Santos, Uirá Kulesza
2008
SPL-REJoão Araújo, Ana Moreira, Vasco Amaral, Mauricio Alférez, Antonielly Garcia Rodrigues, André Sousa, João Santos, Uirá Kulesza
2008
CxProlog version 0.96.1Artur Miguel Dias
December, 2007
TTVALGabriel Pereira Lopes
November, 2007
Version control controlJosé Legatheaux Martins, Nuno Preguiça
October, 2007
InStory ServerRicardo Dias
September, 2007
CONCORDANCERGabriel Pereira Lopes
September, 2007