Inżynieria wymagań oparta na modelach

Oryginalny tytuł:

Model-Based Requirements Engineering

Zawartość książki:

Ta książka stanowi praktyczne wprowadzenie do inżynierii wymagań i zarządzania opartego na modelach, opisując zestaw widoków, które stanowią podstawę tego podejścia. Widoki te uwzględniają każde indywidualne wymaganie pod względem jego opisu, ale następnie nadają każdemu wymaganiu znaczenie poprzez umieszczenie go we właściwym „kontekście”. Wymóg, który został umieszczony w kontekście, jest znany jako „przypadek użycia” i może być oparty na interesariuszach lub poziomach hierarchii w systemie. Każdy przypadek użycia musi następnie zostać przeanalizowany i zweryfikowany poprzez zdefiniowanie kombinacji scenariuszy i formalnych dowodów matematycznych i logicznych, które zapewniają rygor wymagany dla systemów o krytycznym znaczeniu dla bezpieczeństwa i misji.

W książce omówiono również kluczową kwestię notacji modelowania wymagań, w tym dyskusje na temat wykorzystania i zastosowania SysML, formatów tekstowych i tabelarycznych.

Kwestie pragmatyczne, takie jak dostosowanie podejścia do krótkich, niekrytycznych projektów do masowych projektów o znaczeniu krytycznym, są omawiane w celu pokazania, w jaki sposób techniki wprowadzone w książce mogą być stosowane w rzeczywistych projektach i systemach. Omówione zostanie również wykorzystanie wielu narzędzi, wraz z przykładami tego, jak skuteczny proces może prowadzić do realizacji za pomocą dowolnego narzędzia.