Herramienta para automatizar la transformación UML/OCL a Object-Z
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Tesis |
| Lengua: | español |
| Datos de publicación: |
2006
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | v, 115 p. : il.col. ; 30 cm + 1 CD-ROM |
Tabla de Contenidos:
- 1- Introducción 2- Sintaxis de un subconjunto de expresiones OCL 3- Traducción de modelo UML con expresiones OCL a Object-Z 4- Implementación 5- Conclusiones y trabajos futuros
- Referencias
- Apéndice A.
- Contenido del disco: Demo, versión electrónica del informe (formatos RTF, PDF y DOC).
- Disponibles en PDF la presentación de la tesis y el informe final.