Red de Universidades con Carreras en Informática (RedUNCI)
→
Eventos
→
CACIC

Browsing CACIC by Author "Aguirre, Nazareno Matías"

Now showing items 1-17 of 17

Objeto de conferencia

XVII Congreso Argentino de Ciencias de la Computación

2011

Análisis modular y recuperación de contraejemplos en TACO

Alborodo, Raúl; Ricci, Nicolás; Galeotti, Juan P.; Aguirre, Nazareno Matías
Objeto de conferencia

X Congreso Argentino de Ciencias de la Computación

2004

The B method as an environment for the verification of eiffel programs: a case study

Aguirre, Nazareno Matías; Oviedo, Juan
Objeto de conferencia

IV Congreso Argentina de Ciencias de la Computación

1998

Construcción y optimización de programas en Fork Álgebras

Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Medel, Ricardo
Objeto de conferencia

XVIII Congreso Argentino de Ciencias de la Computación

2012

Criterios de cobertura sobre repok para reducir test suites exhaustivas acotadas: estudio de casos

Gutiérrez Brida, Marcelo; Aguirre, Nazareno Matías; Bengolea, Valeria
Objeto de conferencia

XVIII Congreso Argentino de Ciencias de la Computación

2012

Especificación y verificación de propiedades sobre workflows con lógica de fluentes

Ricci, Nicolás; Regis, Germán; Aguirre, Nazareno Matías
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Hacia la composición paralela de programas en DynAlloy

Aguirre, Nazareno Matías; Novaira, Maria Marta; Permigiani, Sonia
Objeto de conferencia

XVIII Congreso Argentino de Ciencias de la Computación

2012

Hacia la construcción automática de workarounds para reparar programas

Uva, Marcelo; Aguirre, Nazareno Matías
Objeto de conferencia

XV Congreso Argentino de Ciencias de la Computación

2009

Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos

Acosta, Araceli; Aguirre, Nazareno Matías
Objeto de conferencia

XVI Congreso Argentino de Ciencias de la Computación

2010

Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

Ariño, Rodrigo; Degiovanni, Renzo; Fervari, Raul; Ponzio, Pablo Daniel; Aguirre, Nazareno Matías
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

La perplejidad como recurso didáctico

Aguirre, Jorge; Aguirre, Nazareno Matías
Objeto de conferencia

XV Congreso Argentino de Ciencias de la Computación

2009

Productos como referentes explícitos en el modelado de procesos de negocios

Regis, Germán; Aguirre, Nazareno Matías
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

El software abierto y su impacto en la enseñanza de la computación

Aguirre, Jorge; Arroyo, Marcelo; Aguirre, Nazareno Matías; Smaldone, Javier
Objeto de conferencia

XV Congreso Argentino de Ciencias de la Computación

2009

Towards scaling up DynAlloy analysis using predicate abstraction

Ariño, Rodrigo; Degiovanni, Renzo; Fervari, Raul; Ponzio, Pablo Daniel; Aguirre, Nazareno Matías
Objeto de conferencia

V Congreso Argentino de Ciencias de la Computación

2001

Translating fork specification into logic programs

Baum, Gabriel Alfredo; Frias, Marcelo F.; Aguirre, Nazareno Matías; Arroyo, Marcelo
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden

Mac Donnell, Patricio; Aguirre, Nazareno Matías
Objeto de conferencia

XI Congreso Argentino de Ciencias de la Computación

2005

Verificación de propiedades temporales de diseños community: un caso de estudio

Aguirre, Nazareno Matías; Regis, Germán
Objeto de conferencia

XIV Congreso Argentino de Ciencias de la Computación

2008

Verificación de propiedades temporales en PPML

Regis, Germán; Aguirre, Nazareno Matías

Now showing items 1-17 of 17