Integración de técnicas de análisis de dominio con especificaciones RSL

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo de vida del desarrollo de software y también este desarrollo puede...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Felice, Laura
Otros Autores: Riesco, Daniel Eduardo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
análisis de dominio
Domain engineering
especificaciones RSL
SOFTWARE ENGINEERING
Software
métodos formales
modelos de dominio
feature-orientation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/28972
https://doi.org/10.35537/10915/28972
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-28972
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
análisis de dominio
Domain engineering
especificaciones RSL
SOFTWARE ENGINEERING
Software
métodos formales
modelos de dominio
feature-orientation
spellingShingle Ciencias Informáticas
análisis de dominio
Domain engineering
especificaciones RSL
SOFTWARE ENGINEERING
Software
métodos formales
modelos de dominio
feature-orientation
Felice, Laura
Integración de técnicas de análisis de dominio con especificaciones RSL
topic_facet Ciencias Informáticas
análisis de dominio
Domain engineering
especificaciones RSL
SOFTWARE ENGINEERING
Software
métodos formales
modelos de dominio
feature-orientation
description Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo de vida del desarrollo de software y también este desarrollo puede ser automatizado por medio de herramientas de amplia variedad y propósito como model checking, verificación, animación, generación de datos para testing, como también refinamiento de especificaciones a implementaciones. Cuando las especificaciones se usan en etapas iniciales del proceso, se ayuda a revelar ambigüedades, omisiones, inconsistencias, errores o interpretaciones erróneas que podrían ser detectados durante pruebas costosas y en las fases de depuración. Sin embargo, las especificaciones formales no son muy familiares para los stakeholders, cuya participación activa es crucial en los primeros estados del proceso de desarrollo de software para entender y comunicar un problema. Estas actividades son especialmente útiles en el análisis de dominio, pues su primera etapa consiste en capturar el conocimiento de un dominio en particular, lo que hace necesario disponer de un modelo que sea comprensible por los ingenieros de software y expertos del dominio. Para contribuir a reducir esta brecha, se trabaja en la integración de una fase de análisis de dominio con el método formal de desarrollo de software RAISE, a fin de especificar una familia de sistemas para producir aplicaciones cualitativas y fiables en un dominio, promover la reutilización temprana y reducción de los costos de desarrollo.
author2 Riesco, Daniel Eduardo
author_facet Riesco, Daniel Eduardo
Felice, Laura
format Tesis
Tesis de maestria
author Felice, Laura
author_sort Felice, Laura
title Integración de técnicas de análisis de dominio con especificaciones RSL
title_short Integración de técnicas de análisis de dominio con especificaciones RSL
title_full Integración de técnicas de análisis de dominio con especificaciones RSL
title_fullStr Integración de técnicas de análisis de dominio con especificaciones RSL
title_full_unstemmed Integración de técnicas de análisis de dominio con especificaciones RSL
title_sort integración de técnicas de análisis de dominio con especificaciones rsl
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/28972
https://doi.org/10.35537/10915/28972
work_keys_str_mv AT felicelaura integraciondetecnicasdeanalisisdedominioconespecificacionesrsl
bdutipo_str Repositorios
_version_ 1764820467630211076

Ejemplares similares