Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos

La primera etapa del trabajo consistió en el análisis de las diferentes técnicas de modelado orientado a objetos y su influencia sobre el proceso de desarrollo de software basado en modelos. Este análisis nos condujo a reconocer las claras ventajas que ofrece la integración de técnicas de modelado f...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Pons, Claudia
Otros Autores:	Felder, Miguel
Formato:	Tesis Tesis de doctorado
Lenguaje:	Español
Publicado:	1999
Materias:	Ciencias Exactas Ciencias Informáticas Lógicas y Significados de programas Modelos de procesos del software Informática
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/2251 https://doi.org/10.35537/10915/2251
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-2251
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 Exactas Ciencias Informáticas Lógicas y Significados de programas Modelos de procesos del software Informática
spellingShingle	Ciencias Exactas Ciencias Informáticas Lógicas y Significados de programas Modelos de procesos del software Informática Pons, Claudia Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
topic_facet	Ciencias Exactas Ciencias Informáticas Lógicas y Significados de programas Modelos de procesos del software Informática
description	La primera etapa del trabajo consistió en el análisis de las diferentes técnicas de modelado orientado a objetos y su influencia sobre el proceso de desarrollo de software basado en modelos. Este análisis nos condujo a reconocer las claras ventajas que ofrece la integración de técnicas de modelado formales con técnicas no formales aceptadas y usadas por los ingenieros de software típicos. El siguiente paso consistió en estudiar las propuestas existentes acerca de cómo efectivizar la mencionada integración, con el objetivo de identificar aspectos potencialmente mejorables. Finalmente y como consecuencia del análisis previo, definimos una nueva propuesta de integración la cual aporta los beneficios esperados para un método de integración standard pero además incorpora ciertas características que no han sido cubiertas satisfactoriamente por las propuestas anteriores, tales como evolución, reusabilidad y métricas de modelos. Además nuestra propuesta se basa en una estructura formal de primer orden que, en contraste con las estructuras de orden superior, facilita los procedimientos para calcular la validez de las fórmulas. La parte restante de esta tesis está organizada de la siguiente forma: En los capítulos 2 y 3 describimos detalladamente un lenguaje gráfico de especificación (UML) y un lenguaje formal (Lógica Dinámica) respectivamente. En el capítulo 4 discutimos las distintas propuestas para lograr la integración de ambas técnicas. En el capítulo 5 presentamos nuestra propuesta: la M&D-theory. El capítulo 6 contiene ejemplos de los principales beneficios standard provistos por la M&D-theory. En los capítulos 7, 8 y 9 demostramos la utilidad de nuestra formalización para expresar evolución de modelos, métricas de calidad y temas de reuso tales como contratos y patrones de diseño. Finalmente el capítulo 10 contiene conclusiones, reflexiones y comentarios acerca del trabajo presentado.
author2	Felder, Miguel
author_facet	Felder, Miguel Pons, Claudia
format	Tesis Tesis de doctorado
author	Pons, Claudia
author_sort	Pons, Claudia
title	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
title_short	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
title_full	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
title_fullStr	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
title_full_unstemmed	Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
title_sort	una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
publishDate	1999
url	http://sedici.unlp.edu.ar/handle/10915/2251 https://doi.org/10.35537/10915/2251
work_keys_str_mv	AT ponsclaudia unateoriadinamicaorientadaaobjetoscomofundamentoformalparaelprocesodedesarrollodesoftwarebasadoenmodelos
bdutipo_str	Repositorios
_version_	1764820465885380611

Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos

Ejemplares similares