Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
- Autores
- Uva, Marcelo; Frutos, Mariana; Gonzaléz, Ariel; Arsaute, Ariel; Daniele, Marcela; Martellotto, Paola; Zorzán, Fabio Andrés
- Año de publicación
- 2013
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Software
Model Driven Architecture (MDA)
Languages
Java Modeling Language (JML)
refactorización - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/27193
Ver los metadatos del registro completo
id |
SEDICI_adf0a7e023df0d0270d878384dd77472 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/27193 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDAUva, MarceloFrutos, MarianaGonzaléz, ArielArsaute, ArielDaniele, MarcelaMartellotto, PaolaZorzán, Fabio AndrésCiencias InformáticasSoftwareModel Driven Architecture (MDA)LanguagesJava Modeling Language (JML)refactorizaciónModel 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.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2013-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf367-371http://sedici.unlp.edu.ar/handle/10915/27193spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:29:34Zoai:sedici.unlp.edu.ar:10915/27193Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:29:34.727SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA |
title |
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA |
spellingShingle |
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA Uva, Marcelo Ciencias Informáticas Software Model Driven Architecture (MDA) Languages Java Modeling Language (JML) refactorización |
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 |
dc.creator.none.fl_str_mv |
Uva, Marcelo Frutos, Mariana Gonzaléz, Ariel Arsaute, Ariel Daniele, Marcela Martellotto, Paola Zorzán, Fabio Andrés |
author |
Uva, Marcelo |
author_facet |
Uva, Marcelo Frutos, Mariana Gonzaléz, Ariel Arsaute, Ariel Daniele, Marcela Martellotto, Paola Zorzán, Fabio Andrés |
author_role |
author |
author2 |
Frutos, Mariana Gonzaléz, Ariel Arsaute, Ariel Daniele, Marcela Martellotto, Paola Zorzán, Fabio Andrés |
author2_role |
author author author author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Software Model Driven Architecture (MDA) Languages Java Modeling Language (JML) refactorización |
topic |
Ciencias Informáticas Software Model Driven Architecture (MDA) Languages Java Modeling Language (JML) refactorización |
dc.description.none.fl_txt_mv |
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. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-04 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/27193 |
url |
http://sedici.unlp.edu.ar/handle/10915/27193 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 367-371 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260137027305472 |
score |
13.13397 |