Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML

UML es un poderoso método para diseñar y documentar sistemas de software. Existen muchas herramientas para asistir en la creación y mantenimiento de los documentos UML. Las más avanzadas incluyen ciertas características que permiten la traducción de modelos UML a código, y viceversa. UML no está lo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Dias Molina, María José, Dodero Mena, Diego Matías
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
Object Constrain Language (OCL)
Languages
Java Modeling Language (JML)
verificación de programas
metamodelos
desarrollo de software dirigido por modelos (MDD)
lenguaje unificado de modelado (UML)
traducción OCL a JML
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/63228
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares