Follow
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
652015
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
212012
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
192011
Model checking LTL formulae in RAISE with FDR
A Parisaca Vargas, AG Garis, S Tarifa, C George
International Conference on Integrated Formal Methods, 231-245, 2009
72009
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
52010
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
42006
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
Aplicación de Perfiles UML en la Especificación de Patrones de Comportamiento
A Cortez, AG Garis
XIII Argentine Symposium on Software Engineering (ASSE 2012)(XLII JAIIO, La …, 2012
32012
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
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
22007
Defining the proxy design pattern using uml profile
AG Garis, DE Riesco, GA Montejano
XII Congreso Argentino de Ciencias de la Computación, 2006
22006
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
Perfiles UML para la especificación de patrones de comportamiento
A Cortez, AG Garis, DE Riesco
XVIII Congreso Argentino de Ciencias de la Computación, 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
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