Ingeniería de requisitos basada en modelos

Título original:

Model-Based Requirements Engineering

Contenido del libro:

Este libro ofrece una introducción práctica a la ingeniería y gestión de requisitos basada en modelos, describiendo una serie de puntos de vista que constituyen la base de este enfoque. Estos puntos de vista tienen en cuenta cada requisito individual en cuanto a su descripción, pero también dotan a cada requisito de significado al situarlo en el «contexto» correcto. Un requisito contextualizado se denomina «caso de uso» y puede basarse en las partes interesadas o en los niveles jerárquicos de un sistema. A continuación, cada caso de uso debe analizarse y validarse mediante la definición de una combinación de escenarios y pruebas formales matemáticas y lógicas que aporten el rigor necesario para los sistemas de seguridad y misión críticas.

El libro también aborda la cuestión crucial de las notaciones para el modelado de requisitos e incluye debates sobre el uso y la aplicación de SysML, formatos de texto y tabulares.

Se abordan cuestiones pragmáticas, como la adaptación del enfoque para proyectos cortos y no críticos a proyectos masivos y de misión crítica, para mostrar cómo las técnicas introducidas en el libro pueden aplicarse en proyectos y sistemas de la vida real. También se tratará el uso de múltiples herramientas, junto con ejemplos de cómo un proceso eficaz puede conducir a la realización mediante cualquier herramienta.