| dc.description.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. | es_ES |
