Ana Gabriela Garis de Sanchez
AuthID: R-001-VFZ
1
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
2
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
3
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
4
TITLE: Structuring a Formal Specification starting from Process Modeling
AUTHORS: Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez ; Ana Gabriela Garis; Narayan C Debnath;
PUBLISHED: 2002, SOURCE: Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, November 7-9, 2002, Clarion Hotel Bay View, San Diego, California, USA
AUTHORS: Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez ; Ana Gabriela Garis; Narayan C Debnath;
PUBLISHED: 2002, SOURCE: Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, November 7-9, 2002, Clarion Hotel Bay View, San Diego, California, USA
INDEXED IN: 
DBLP
DBLP