Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2017-10-26T17:59:27Z
dc.date.available 2017-10-26T17:59:27Z
dc.date.issued 2011
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/63228
dc.description.abstract 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 suficientemente refinado para proveer todos los aspectos relevantes de una especificación, ya que hay ciertas restricciones que no pueden expresarse en el modelo y muchas veces son descriptas en lenguaje natural, pero esto puede resultar en ambigüedades. Para escribir restricciones no ambiguas se han desarrollado lenguajes formales. Uno de ellos es OCL, que permite incrementar la precisión de los modelos UML. Además existe JML para especificar programas escritos en el lenguaje Java. La motivación principal de la tesina es analizar y comparar los lenguajes OCL y JML, para luego definir una traducción entre ambos lenguajes y finalmente desarrollar una herramienta que realice la traducción automáticamente. es
dc.language es es
dc.subject Object Constrain Language (OCL) es
dc.subject Languages es
dc.subject Java Modeling Language (JML) es
dc.subject verificación de programas es
dc.subject metamodelos es
dc.subject desarrollo de software dirigido por modelos (MDD) es
dc.subject lenguaje unificado de modelado (UML) es
dc.subject traducción OCL a JML es
dc.title Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML es
dc.type Tesis es
sedici.creator.person Dias Molina, María José es
sedici.creator.person Dodero Mena, Diego Matías es
sedici.description.note Tesis dirigida por Claudia Pons y Ricardo Rosenfeld. Grados alcanzados: Licenciado en Sistemas y Licenciado en 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-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0/
sedici.contributor.director Pons, Claudia es
thesis.degree.name Licenciado en Sistemas es
thesis.degree.grantor Universidad Nacional de La Plata es
sedici.date.exposure 2011-11


Descargar archivos

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

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