Entorno metodológico formal de ingeniería de requerimientos para mejorar la calidad de los sistemas de información

Abstract

En esta tesis se describe un entorno metodológico formal para la ingeniería de requisitos de sistemas de información compuesto por: 1. Un modelo de procesos iterativo en el que se identifican tres actividades principales: elicitación, análisis y validación. 2. Un proceso para la elicitación de requisitos de sistemas de información, incluyendo las tareas a realizar, los productos a obtener y las técnicas a emplear, así como la posibilidad de introducir la reutilización en el proceso. 3. Un proceso para el análisis de requisitos de sistemas de información, incluyendo las tareas a realizar, los productos a obtener y las técnicas a emplear, basadas en elestándar UML y con relaciones de rastreabilidad hacia los productos de la actividad anterior que facilita la reutilización de elementos complejos. 4. Un proceso formal para la validación y verificación de requisitos de sistemas de información, incluyendo las tareas a realizar, los productos a obtener y las técnicas a emplear, basadas en la lógica modal y la lógica Kripke y Fork. Y finalmente casos de estudio como ejemplos de la aplicación de la propuesta planteada en este trabajo.