Ana Gabriela Garis de Sanchez
AuthID: R-001-VFZ
1
TÃTULO: Translating between Alloy specifications and UML class diagrams annotated with OCL Full Text
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
2
TÃTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 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
TÃTULO: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: 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
TÃTULO: Structuring a Formal Specification starting from Process Modeling
AUTORES: Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez ; Ana Gabriela Garis; Narayan C Debnath;
PUBLICAÇÃO: 2002, FONTE: 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
AUTORES: Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez ; Ana Gabriela Garis; Narayan C Debnath;
PUBLICAÇÃO: 2002, FONTE: 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
INDEXADO EM: 
DBLP
DBLP