Modellalapú követelményrendszer

Eredeti címe:

Model-Based Requirements Engineering

Könyv tartalma:

Ez a könyv gyakorlatias bevezetést nyújt a modellalapú követelménytervezésbe és -kezelésbe a megközelítés alapját képező nézetek ismertetésével. Ezek a nézetek minden egyes követelményt a leírás szempontjából vesznek figyelembe, de aztán a megfelelő „kontextusba” helyezéssel értelmet is adnak minden egyes követelménynek. A kontextusba helyezett követelményt „használati esetnek” nevezzük, amely alapulhat akár az érintetteken, akár a rendszer hierarchiaszintjein. Ezt követően minden egyes használati esetet elemezni és validálni kell a forgatókönyvek és a formális matematikai és logikai alapú bizonyítások kombinációjának meghatározásával, amelyek biztosítják a biztonság- és feladatkritikus rendszerekhez szükséges szigort.

A könyv a követelmények modellezéséhez használt modellezési jelölések kulcsfontosságú kérdésével is foglalkozik, és tárgyalja a SysML, a szöveges és a táblázatos formátumok használatát és alkalmazását.

A gyakorlati kérdéseket, például a megközelítés rövid, nem kritikus projektekhez való igazítását a nagyszabású, kritikus projektekhez való igazítását tárgyalja, hogy bemutassa, hogyan lehet a könyvben bemutatott technikákat a valós életben megvalósuló projektekben és rendszerekben alkalmazni. A többféle eszköz használata is szóba kerül, valamint példák mutatják be, hogy egy hatékony folyamat hogyan vezethet bármely eszközzel történő megvalósításhoz.