Folgen
Ana Garis
Titel
Zitiert von
Zitiert von
Jahr
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
762015
Defining Patterns Using UML Profiles.
NC Debnath, AG Garis, D Riesco, G Montejano
AICCSA, 1147-1150, 2006
332006
Specifying UML protocol state machines in alloy
A Garis, ACR Paiva, A Cunha, D Riesco
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012
232012
Translating Alloy specifications to UML class diagrams annotated with OCL
A Garis, A Cunha, D Riesco
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
192011
Model checking LTL formulae in RAISE with FDR
A Parisaca Vargas, AG Garis, SLT Tarifa, C George
Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009
72009
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
62006
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
Análisis de la experiencia del usuario: relación entre el comportamiento emocional y la satisfacción de uso
ES Bruchmann, G Montejano, A Garis
XVII Workshop de Investigadores en Ciencias de la Computación, 2015
42015
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
32018
Perfiles UML para la Especificación de Patrones de Comportamiento: Un Caso de Estudio
A Cortez, A Garis, D Riesco
Proceedings of the XVIII Congreso Argentino de Ciencias de la Computación …, 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
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
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
22015
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
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
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
El diseńo y las emociones en la Experiencia de Usuario
ECS Bruchmann, C Chayle, GA Montejano, AG Garis, LE Martin
de XXI Workshop de Investigadores en Ciencias de la Computación-WICC, 428-432, 2019
12019
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20