Daniel Riesco
AuthID: R-006-GKF
11
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
12
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