Show simple item record

dc.contributor.authorAvendaño Díaz, Pamela
dc.date.accessioned2017-11-02T14:13:46Z
dc.date.available2017-11-02T14:13:46Z
dc.date.issued2004
dc.identifier.urihttp://repositorio.ucm.cl/handle/ucm/1031
dc.descriptionTesis para optar al título de Ingeniero de Ejecución en Computación e Informáticaes_CL
dc.description.abstractLos métodos formales de especificación cuentan con una base matemática que permite disminuir inconsistencias, ambigüedades e incompletitudes en la etapa de especificación de requisitos de un software, evitando así el traspaso de información errónea a las etapas posteriores de desarrollo. Dentro de los métodos formales, existe “Un Lenguaje de Especificación Formal de Requisitos con Representación Gráfica” [ROS2000], que trabaja con dos tipos de lenguaje, uno algebraico y otro gráfico equivalentes entre sí, es decir, una especificación algebraica tiene su equivalente gráfico y viceversa. Este método mejora la comunicación entre especialistas de la ingeniería de software, ya que basta con dominar uno de esos lenguajes para conseguir su especificación equivalente. No obstante, no existía una herramienta automatizada que realizara la transformación entre estos lenguajes de especificación. De aquí la necesidad de crear una aplicación, que basándose en el método mencionado, permitiera la creación de especificaciones algebraicas y gráficas, y pudiera traducir tales especificaciones en ambos sentidos (algebraico – gráfico, gráfico – algebraico), siendo éstos los objetivos del presente seminario. Para el desarrollo del sistema se utilizó el método de la cascada con retroalimentación. Este método permite retroceder a las etapas anteriores para corregir errores o agregar nuevos requerimientos. De esta manera, se comenzó con el desarrollo de la etapa de especificación de la aplicación, reconociendo los requisitos, funcionalidades y restricciones del sistema. Luego se dio paso a la etapa de diseño, identificando más detalladamente los flujos de información e interacción entre los procesos y el usuario. Posteriormente, se inició la implementación propiamente tal de la aplicación, indicando en esta etapa las mayores problemáticas surgidas al momento de programar. Así se obtuvo una herramienta que permite la creación de especificaciones algebraicas y gráficas, validación sintáctica y semántica, traducción, almacenamiento, recuperación e impresión de las especificaciones. De este modo, la aplicación obtenida sirve de apoyo al método señalado, ya que permite la generación de especificaciones invirtiendo menor tiempo que aplicando el método en forma manual, facilita la comunicación entre especialistas, puede ser usado como una herramienta educativa y utilizarse como un medio para documentar especificaciones.es_CL
dc.language.isoeses_CL
dc.publisherUniversidad Católica del Maule, Facultad de Ciencias de la Ingenieríaes_CL
dc.rightsAtribución-NoComercial-SinDerivadas 3.0 Chile*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/cl/*
dc.subjectSoftware computacionales_CL
dc.subjectSoftware de aplicaciónes_CL
dc.subjectBases de datoses_CL
dc.subjectMatemáticases_CL
dc.titleTraductor para especificaciones de requisitos basado en tipo abstracto de datoses_CL
dc.typeThesises_CL
dc.ucm.urisibib2.ucm.cl:2048/login?url=http://guiastematicas.biblioteca.ucm.cl/ld.php?content_id=37019035es_CL
dc.ucm.profesorguiaRossel Cid, Pedro


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 3.0 Chile
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 3.0 Chile