Ana Garis
Title
Cited by
Cited by
Year
Translating between Alloy specifications and UML class diagrams annotated with OCL
A Cunha, A Garis, D Riesco
Software & Systems Modeling 14 (1), 5-25, 2015
592015
Defining Patterns Using UML Profiles.
NC Debnath, AG Garis, D Riesco, G Montejano
AICCSA, 1147-1150, 2006
302006
Specifying UML protocol state machines in alloy
A Garis, ACR Paiva, A Cunha, D Riesco
International Conference on Integrated Formal Methods, 312-326, 2012
202012
Translating Alloy specifications to UML class diagrams annotated with OCL
A Garis, A Cunha, D Riesco
International Conference on Software Engineering and Formal Methods, 221-236, 2011
182011
Lógica temporal en verificación de modelos de software. Origen y evolución hasta tiempos actuales
AG Garis
Fundamentos en Humanidades 11 (21), 151-161, 2010
72010
Model checking LTL formulae in RAISE with FDR
AP Vargas, AG Garis, SLT Tarifa, C George
International Conference on Integrated Formal Methods, 231-245, 2009
52009
Verification and validation of domain specific languages using Alloy
AG Garis, A Sánchez
XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015
32015
Perfiles UML para la especificación de patrones de comportamiento. Un caso de estudio
A Cortez, A Garis, D Riesco
CACIC-XVIII Congreso Argentino de Ciencias de la Computación. Bahía Blanca …, 2012
32012
Defining OCL constraints for the Proxy Design Pattern Profile
NC Debnath, A Garis, D Riesco, G Montejano
2007 IEEE/ACS International Conference on Computer Systems and Applications …, 2007
32007
Perfiles UML para definición de Patrones de Diseño
AG Garis, DE Riesco, GA Montejano
VIII Workshop de Investigadores en Ciencias de la Computación, 2006
32006
Analizando el impacto de talleres de programación en escuelas con respecto al ingreso de alumnos en carreras de informática
AG Garis, MC Albornoz, MA Silvestri
XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018 …, 2018
22018
La Hora del Código: Promoviendo la Programación en Escuelas Secundarias de San Luis
A Garis, C Albornoz, M Silvestri
enseñanza 9, 11, 2017
22017
Especificación formal de lenguajes específicos del dominio utilizando Alloy
AG Garis, A Sanchez
XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015
22015
Evaluando un sistema de gestión de expedientes electrónicos judiciales de acuerdo con el plan de modernización argentino
L Rescaldani, A Garis, D Riesco
Iberoamerican Journal of Project Management 8 (1), 01-19, 2017
12017
Adopción de COBIT para la auditoría de sistemas de gestión de expedientes digitales
L Rescaldani, AG Garis, DE Riesco
XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015
12015
Análisis de la Experiencia del Usuario: Relación entre el Comportamiento Emocional y la Satisfacción de Uso
EC Sosa Bruchmann, GA Montejano, AG Garis
XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015
12015
Aplicación de Perfiles UML en la Especificación de Patrones de Comportamiento
A Cortez, A Garis
41JAIIO-SADIO. La Plata, SF, Argentina, 2012
12012
Perfiles UML para la definición de patrones de diseño de comportamiento
A Cortez, DE Riesco, AG Garis
XIV Workshop de Investigadores en Ciencias de la Computación, 2012
12012
Defining the proxy design pattern using uml profile
AG Garis, DE Riesco, GA Montejano
XII Congreso Argentino de Ciencias de la Computación, 2006
12006
Development of a tool for code automatic generation of persistent objects
A Garis, C Albornoz, D Riesco, G Montejano, N Debnath
Journal of Computational Methods in Sciences and Engineering 5 (s1), S85-S92, 2005
12005
The system can't perform the operation now. Try again later.
Articles 1–20