Inženýrství požadavků založené na modelech

Původní název:

Model-Based Requirements Engineering

Obsah knihy:

Tato kniha poskytuje praktický úvod do modelového inženýrství a řízení požadavků popisem souboru názorů, které tvoří základ tohoto přístupu. Tyto pohledy berou v úvahu každý jednotlivý požadavek z hlediska jeho popisu, ale následně také dávají každému požadavku význam tím, že jej zasazují do správného „kontextu“. Požadavek, který byl zasazen do kontextu, je znám jako „případ užití“ a může být založen buď na zúčastněných stranách, nebo na úrovních hierarchie v systému. Každý případ užití musí být následně analyzován a ověřen definováním kombinace scénářů a formálních matematických a logických důkazů, které poskytují přísnost požadovanou pro systémy kritické z hlediska bezpečnosti a kritické z hlediska poslání.

Kniha se rovněž zabývá zásadní otázkou modelovacích notací pro modelování požadavků a zahrnuje diskuse o použití a aplikaci SysML, textových a tabulkových formátů.

Diskutuje se o pragmatických otázkách, jako je přizpůsobení přístupu pro krátké nekritické projekty až po rozsáhlé kritické projekty, aby se ukázalo, jak lze techniky představené v knize použít na reálných projektech a systémech. Diskutováno bude také použití více nástrojů a příklady toho, jak může efektivní postup vést k realizaci jakýmkoli nástrojem.