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

id	I19-R120-10915-63228
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	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
spellingShingle	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 Dias Molina, María José Dodero Mena, Diego Matías Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
topic_facet	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
description	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.
author2	Pons, Claudia
author_facet	Pons, Claudia Dias Molina, María José Dodero Mena, Diego Matías
format	Tesis Tesis de grado
author	Dias Molina, María José Dodero Mena, Diego Matías
author_sort	Dias Molina, María José
title	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_short	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_full	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_fullStr	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_full_unstemmed	Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
title_sort	desarrollo de una herramienta para derivación automática de especificaciones ocl a jml
publishDate	2011
url	http://sedici.unlp.edu.ar/handle/10915/63228
work_keys_str_mv	AT diasmolinamariajose desarrollodeunaherramientaparaderivacionautomaticadeespecificacionesoclajml AT doderomenadiegomatias desarrollodeunaherramientaparaderivacionautomaticadeespecificacionesoclajml
bdutipo_str	Repositorios
_version_	1764820480581173250

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

Ejemplares similares