1.
|
Verificando diseños BON mediante Alloy Castro, Pablo Francisco - Ponzio, Pablo Daniel - Demasi, Ramiro Adrián - Baum, Gabriel Alfredo
|
2.
|
Framework de evaluación para modelos formales de patrones de diseño Flores, Andrés P. - Fillottrani, Pablo Rubén
|
3.
|
Hacia la composición paralela de programas en DynAlloy Aguirre, Nazareno Matías - Novaira, Maria Marta - Permigiani, Sonia
|
4.
|
Un método riguroso para la reusabilidad de software orientado a objetos Favre, Liliana María
|
5.
|
Verificación de propiedades temporales en PPML Regis, Germán - Aguirre, Nazareno Matías
|