Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z

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 de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Becker, Valeria, Pons, Claudia
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Formal Languages
OCL
base de datos
Semantics
UML
Object-Z
SOFTWARE ENGINEERING
lenguajes formales
semántica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22650
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares