Inžinierstvo požiadaviek založené na modeli

Pôvodný názov:

Model-Based Requirements Engineering

Obsah knihy:

Táto kniha poskytuje praktický úvod do modelového inžinierstva a riadenia požiadaviek prostredníctvom opisu súboru názorov, ktoré tvoria základ tohto prístupu. Tieto pohľady zohľadňujú každú jednotlivú požiadavku z hľadiska jej opisu, ale potom tiež dávajú každej požiadavke význam tým, že ju zaraďujú do správneho „kontextu“. Požiadavka, ktorá bola zaradená do kontextu, sa nazýva „prípad použitia“ a môže byť založená buď na zainteresovaných stranách, alebo na úrovniach hierarchie v systéme. Každý prípad použitia sa potom musí analyzovať a overiť definovaním kombinácie scenárov a formálnych matematických a logických dôkazov, ktoré poskytujú prísnosť požadovanú pre systémy kritické z hľadiska bezpečnosti a kritické z hľadiska úloh.

Kniha sa zaoberá aj kľúčovou otázkou modelovacích notácií pre modelovanie požiadaviek a obsahuje diskusie o použití a aplikácii SysML, textových a tabuľkových formátov.

Diskutuje sa o pragmatických otázkach, ako je prispôsobenie prístupu pre krátke, nekritické projekty až po rozsiahle, kritické projekty, aby sa ukázalo, ako sa techniky zavedené v knihe dajú aplikovať na reálne projekty a systémy. Rozoberie sa aj použitie viacerých nástrojov spolu s príkladmi toho, ako môže efektívny proces viesť k realizácii pomocou akéhokoľvek nástroja.