Verificación de modelos independientes de la plataforma: un caso de estudio

El lenguaje UML ha sido ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan la...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Actis, Carolina Inés
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2017
Materias:
Ciencias Informáticas
Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/67013
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares