Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA

Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su comportamiento exter...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Uva, Marcelo, Frutos, Mariana, Gonzaléz, Ariel, Arsaute, Ariel, Daniele, Marcela, Martellotto, Paola, Zorzán, Fabio Andrés
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
Software
Model Driven Architecture (MDA)
Languages
Java Modeling Language (JML)
refactorización
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/27193
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-27193
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
Software
Model Driven Architecture (MDA)
Languages
Java Modeling Language (JML)
refactorización
spellingShingle Ciencias Informáticas
Software
Model Driven Architecture (MDA)
Languages
Java Modeling Language (JML)
refactorización
Uva, Marcelo
Frutos, Mariana
Gonzaléz, Ariel
Arsaute, Ariel
Daniele, Marcela
Martellotto, Paola
Zorzán, Fabio Andrés
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
topic_facet Ciencias Informáticas
Software
Model Driven Architecture (MDA)
Languages
Java Modeling Language (JML)
refactorización
description Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su comportamiento externo. Por otro lado, Java Modeling Language (JML) es un lenguaje para especificar programas Java, utiliza precondiciones, postcondiciones e invariantes de la lógica de Hoare. Este trabajo plantea una técnica basada en MDA que posibilita la construcción de una herramienta automática que tomará como entrada código de una aplicación Java y realizará optimizaciones en su diseño basándose en reglas de refactoreo. La técnica requiere contar con los contratos JML de los métodos de las clases involucradas. El principal aporte de este trabajo es la utilización de contratos JML para asegurar que el comportamiento de un módulo se mantiene sin cambios, luego de la aplicación de reglas de refactoreo.
format Objeto de conferencia
Objeto de conferencia
author Uva, Marcelo
Frutos, Mariana
Gonzaléz, Ariel
Arsaute, Ariel
Daniele, Marcela
Martellotto, Paola
Zorzán, Fabio Andrés
author_facet Uva, Marcelo
Frutos, Mariana
Gonzaléz, Ariel
Arsaute, Ariel
Daniele, Marcela
Martellotto, Paola
Zorzán, Fabio Andrés
author_sort Uva, Marcelo
title Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
title_short Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
title_full Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
title_fullStr Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
title_full_unstemmed Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
title_sort utilizando contratos jml para optimizar diseños orientado a objetos siguiendo mda
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/27193
work_keys_str_mv AT uvamarcelo utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT frutosmariana utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT gonzalezariel utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT arsauteariel utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT danielemarcela utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT martellottopaola utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
AT zorzanfabioandres utilizandocontratosjmlparaoptimizardisenosorientadoaobjetossiguiendomda
bdutipo_str Repositorios
_version_ 1764820467649085440

Ejemplares similares