Ana Gabriela Garis

According to our database, Ana Gabriela Garis authored at least 9 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Translating between Alloy specifications and UML class diagrams annotated with OCL.

Alcino Cunha, Ana Gabriela Garis, Daniel Riesco

Softw. Syst. Model., 2015

2012

Specifying UML Protocol State Machines in Alloy.

Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.

Ana Gabriela Garis, Alcino Cunha, Daniel Riesco

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2009

Model Checking LTL Formulae in RAISE with FDR.

Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2007

Defining OCL constraints for the Proxy Design Pattern Profile.

Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Defining Patterns Using UML Profiles.

Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Development of a tool for code automatic generation of persistent objects.

Ana Gabriela Garis, Claudia Albornoz, Daniel Riesco, German Montejano, Narayan C. Debnath

J. Comput. Methods Sci. Eng., 2005

UML Profiles for Design Patterns.

Ana Gabriela Garis, Daniel Riesco, German Montejano, Narayan C. Debnath

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

2002

Structuring a Formal Specification starting from Process Modeling.

Daniel Riesco, German Montejano, Robert Uzal, Alejandro Sanchez, Ana Gabriela Garis, Narayan C. Debnath

Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002