En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z. Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…
Fecha:
2012-10-19
Recurso:
Unversidad Nacional de La Plata
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®