Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos

Una de las claves para el éxito de la formalización propuesta reside en ocultar la notación matemática tanto como sea posible tras la notación gráfica. Por ejemplo, debería ser posible utilizar la semántica formal para desarrollar herramientas CASE. Sólo los desarrolladores deberían usar el formalis...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cengia, Javier Andrés
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Software
Computer-aided software engineering (CASE)
Software process models (e.g., CMM, ISO, PSP)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3903
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-3903
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
Computer-aided software engineering (CASE)
Software process models (e.g., CMM, ISO, PSP)
spellingShingle Ciencias Informáticas
Software
Computer-aided software engineering (CASE)
Software process models (e.g., CMM, ISO, PSP)
Cengia, Javier Andrés
Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
topic_facet Ciencias Informáticas
Software
Computer-aided software engineering (CASE)
Software process models (e.g., CMM, ISO, PSP)
description Una de las claves para el éxito de la formalización propuesta reside en ocultar la notación matemática tanto como sea posible tras la notación gráfica. Por ejemplo, debería ser posible utilizar la semántica formal para desarrollar herramientas CASE. Sólo los desarrolladores deberían usar el formalismo del lenguaje para construir las herramientas CASE y justificar su corrección, mientras que los desarrolladores de software de aplicación podrían manejar los modelos gráficos sin necesidad de conocer el formalismo matemático subyacente. El objetivo de esta tesis es implementar una herramienta que permita el manejo del modelo conceptual propuesto. Dicha herramienta implementará un método de transformación automático, consistente en un conjunto de reglas para crear un modelo formal a partir de los modelos expresados en UML. La herramienta permitirá además el manejo del modelo formal, la aplicación de mecanismos de chequeo y la evolución en los distintos niveles de modelado. UML es parcialmente soportado por una herramienta CASE desarrollada por Rational Software Corporation, llamada Rational Rose. Esta aplicación permite crear especificaciones gráficas en UML, y generar un archivo con la representación textual de la especificación. La representación textual permite la manipulación de la especificación para diversos usos. Se espera que la nueva herramienta pueda integrarse dentro de la herramienta CASE de Rational Rose.
author2 Pons, Claudia
author_facet Pons, Claudia
Cengia, Javier Andrés
format Tesis
Tesis de grado
author Cengia, Javier Andrés
author_sort Cengia, Javier Andrés
title Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
title_short Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
title_full Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
title_fullStr Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
title_full_unstemmed Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
title_sort una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/3903
work_keys_str_mv AT cengiajavierandres unaherramientaparaverificacionformaldeespecificacionesgraficasorientadasaobjetos
bdutipo_str Repositorios
_version_ 1764820472344608771

Ejemplares similares