Una técnica para una especificación inicial en RSL

Mostrar todas las versiones(2)

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 proces...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mauco, Virginia
Otros Autores: Riesco, Daniel Eduardo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
Software
Aplicación informática
Informática
Requerimientos/Especificaciones
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/4093
https://doi.org/10.35537/10915/4093
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-4093
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
Aplicación informática
Informática
Requerimientos/Especificaciones
spellingShingle Ciencias Informáticas
Software
Aplicación informática
Informática
Requerimientos/Especificaciones
Mauco, Virginia
Una técnica para una especificación inicial en RSL
topic_facet Ciencias Informáticas
Software
Aplicación informática
Informática
Requerimientos/Especificaciones
description 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.
author2 Riesco, Daniel Eduardo
author_facet Riesco, Daniel Eduardo
Mauco, Virginia
format Tesis
Tesis de maestria
author Mauco, Virginia
author_sort Mauco, Virginia
title Una técnica para una especificación inicial en RSL
title_short Una técnica para una especificación inicial en RSL
title_full Una técnica para una especificación inicial en RSL
title_fullStr Una técnica para una especificación inicial en RSL
title_full_unstemmed Una técnica para una especificación inicial en RSL
title_sort una técnica para una especificación inicial en rsl
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/4093
https://doi.org/10.35537/10915/4093
work_keys_str_mv AT maucovirginia unatecnicaparaunaespecificacioninicialenrsl
AT maucovirginia atechniqueforaninitialspecificationinrsl
bdutipo_str Repositorios
_version_ 1764820472941248512

Ejemplares similares