Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2018-05-24T13:58:03Z
dc.date.available 2018-05-24T13:58:03Z
dc.date.issued 2017
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/67013
dc.description.abstract 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 las ambigüedades del lenguaje natural. Sin embargo, al ser una notación de diseño, OCL no es ejecutable: está definido sobre el modelo, por lo que sus restricciones no se reflejan en el código fuente. Por otro lado, JML es un lenguaje de especificación formal que puede ser utilizado para especificar clases Java. A diferencia de OCL, las expresiones JML están escritas de forma que pueden ser compiladas y analizadas en tiempo de ejecución. En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el .onguaje JML. De esta forma se podrán verificar las restricciones en tiempo de ejecución, y se podrá hacer un análisis estático de estas mediante el uso de probadores de teoremas implementados para JML. es
dc.language es es
dc.subject 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 es
dc.title Verificación de modelos independientes de la plataforma: un caso de estudio es
dc.type Tesis es
sedici.creator.person Actis, Carolina Inés es
sedici.description.note Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Tesis de grado es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.contributor.colaborator Pérez, Gabriela Alejandra (asesor profesional) es
sedici.contributor.director Pons, Claudia es
thesis.degree.name Licenciado en Informática es
thesis.degree.grantor Universidad Nacional de La Plata es
sedici.date.exposure 2017-11


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (5.140Mb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)