Publications

Translating Alloy Specifications to Uml Class Diagrams Annotated with Ocl

AuthID
P-008-13F

Author(s)

Garis, AG

Cunha, A

Riesco, D

Editor(s)

Gilles Barthe; Alberto Pardo; Gerardo Schneider

Document Type

Proceedings Paper

Year published

2011

Published

in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7041, Pages: 221-236

Conference

9Th International Conference on Software Engineering and Formal Methods, Sefm 2011, Date: 14 November 2011 through 18 November 2011, Location: Montevideo, Sponsors: Agencia Nacional de Investigacion e Innovacion (ANII);Univ. Repub., Com. Sect. Invest. Cient. (CSIC);Programa Desarro. Cienc. Basicas (PEDECIBA) Inform.

Indexing