Catálogo de publicaciones - tesis
Título de Acceso Abierto
Una técnica para una especificación inicial en RSL
Virginia Mauco Daniel Eduardo Riesco
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Los métodos formales se están usando actualmente para la construcción de sistemas reales, ya que contribuyen a aumentar la calidad y confiabilidad del software. Sin embargo, generalmente sólo son accesibles a especialistas. Esto resulta inconveniente sobre todo durante las primeras etapas del proceso de desarrollo de software cuando la participación de los stakeholders, no familiarizados con estos formalismos, es crucial. Con el objetivo de aportar una solución a este problema, presentamos en esta tesis una técnica para derivar una especificación formal inicial escrita en el Lenguaje de Especificación RAISE a partir de modelos de requisitos basados en lenguaje natural. En particular, usamos el Léxico Extendido del Lenguaje (LEL) y el Modelo de Escenario, dos modelos de la Requirements Baseline que están más cercanos al lenguaje de los stakeholders. La derivación de la especificación está estructurada en tres etapas, proponemos un conjunto de heurísticas que muestran cómo derivar tipos y funciones, y cómo estructurarlos en módulos usando la información generalmente disponible después del análisis del problema. También proponemos representar la jerarquía de módulos obtenida usando una arquitectura por niveles, que es la base para comenzar aplicar las etapas del Método RAISE. Mostramos cómo llegar a una especificación concreta, partiendo de la especificación aplicativa y parcialmente abstracta derivada, para luego obtener automáticamente un primer prototipo para validar la especificación.Palabras clave – provistas por el repositorio digital
Ciencias Informáticas; Software; Aplicación informática; Informática; Requerimientos/Especificaciones
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2004 | SEDICI: Repositorio Institucional de la UNLP (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2004
Información sobre licencias CC
