 | 2011 |
|---|
| 6 |       | Ana Gabriela Garis,
Alcino Cunha,
Daniel Riesco:
Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.
SEFM 2011: 221-236 |
| 2009 |
|---|
| 5 | | Abigail Parisaca Vargas,
Ana Gabriela Garis,
Silvia Lizeth Tapia Tarifa,
Chris George:
Model Checking LTL Formulae in RAISE with FDR.
IFM 2009: 231-245 |
| 2007 |
|---|
| 4 | | Narayan C. Debnath,
Ana Gabriela Garis,
Daniel Riesco,
German Montejano:
Defining OCL constraints for the Proxy Design Pattern Profile.
AICCSA 2007: 880-885 |
| 2006 |
|---|
| 3 | | Narayan C. Debnath,
Ana Gabriela Garis,
Daniel Riesco,
German Montejano:
Defining Patterns Using UML Profiles.
AICCSA 2006: 1147-1150 |
| 2005 |
|---|
| 2 |  | Ana Gabriela Garis,
Daniel Riesco,
German Montejano,
Narayan C. Debnath:
UML Profiles for Design Patterns.
Computers and Their Applications 2005: 435-440 |
| 2002 |
|---|
| 1 | | Daniel Riesco,
German Montejano,
Robert Uzal,
Alejandro Sanchez,
Ana Gabriela Garis,
Narayan C. Debnath:
Structuring a Formal Specification starting from Process Modeling.
CAINE 2002: 248-251 |
Data released under the ODC-BY 1.0 license — See also our legal information page