Ana Gabriela Garis

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 0

Top Topics

Regression Testing

Top Venues

Softw. Syst. Model.

Publications

Alcino Cunha, Ana Gabriela Garis, Daniel Riesco
Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14 (1) (2015)
Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
Specifying UML Protocol State Machines in Alloy. IFM (2012)
Ana Gabriela Garis, Alcino Cunha, Daniel Riesco
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. SEFM (2011)
Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George
Model Checking LTL Formulae in RAISE with FDR. IFM (2009)
Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano
Defining OCL constraints for the Proxy Design Pattern Profile. AICCSA (2007)
Narayan C. Debnath, Ana Gabriela Garis, Daniel Riesco, German Montejano
Defining Patterns Using UML Profiles. AICCSA (2006)
Ana Gabriela Garis, Claudia Albornoz, Daniel Riesco, German Montejano, Narayan C. Debnath
Development of a tool for code automatic generation of persistent objects. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Ana Gabriela Garis, Daniel Riesco, German Montejano, Narayan C. Debnath
UML Profiles for Design Patterns. CATA (2005)
Daniel Riesco, German Montejano, Robert Uzal, Alejandro Sanchez, Ana Gabriela Garis, Narayan C. Debnath
Structuring a Formal Specification starting from Process Modeling. CAINE (2002)