1.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
2.
|
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio
|
3.
|
Diseño e implementación de un generador de evaluadores concurrentes para gramáticas de atributos NC(1) Arroyo, Marcelo - Aguirre, Jorge - Florio, Nicolas
|
4.
|
JACC un entorno de generación de procesadores de lenguajes Aguirre, Jorge - Arroyo, Marcelo - Felippa, J. - Gomez, Guillermo - Grinspan, Valentina
|
5.
|
Implemetación de una herramienta para el modelado y simulación de workflows integrando UML y el estándar WfMC Acosta, Edgardo - Uva, Marcelo - Riesco, Daniel Eduardo
|
6.
|
Herramienta de generación de procesadores de lenguajes para código móvil seguro Arroyo, Marcelo - Florio, Nicolás - Felippa, J. - Aguirre, Jorge - Gómez, Gabriela - Bavera, Francisco - Caymes Scutari, Paola - Nordio, D.
|