Ingegneria dei requisiti basata su modelli

Titolo originale:

Model-Based Requirements Engineering

Contenuto del libro:

Questo libro fornisce un'introduzione pratica all'ingegneria e alla gestione dei requisiti basata su modelli, descrivendo una serie di punti di vista che costituiscono la base dell'approccio. Questi punti di vista tengono conto di ogni singolo requisito in termini di descrizione, ma forniscono anche un significato a ciascun requisito inserendolo nel “contesto” corretto. Un requisito inserito in un contesto è noto come “caso d'uso” e può essere basato sugli stakeholder o sui livelli gerarchici di un sistema. Ogni caso d'uso deve poi essere analizzato e convalidato definendo una combinazione di scenari e prove formali matematiche e logiche che forniscano il rigore richiesto per i sistemi critici per la sicurezza e per le missioni.

Il libro affronta anche la questione cruciale delle notazioni per la modellazione dei requisiti e include discussioni sull'uso e l'applicazione di SysML, formati testuali e tabellari.

Vengono discusse questioni pragmatiche, come l'adattamento dell'approccio a progetti brevi e non critici o a progetti massicci e mission-critical, per mostrare come le tecniche introdotte nel libro possano essere applicate a progetti e sistemi reali. Verrà inoltre discusso l'uso di più strumenti, con esempi di come un processo efficace possa portare alla realizzazione con qualsiasi strumento.