Ingineria cerințelor bazată pe modele

Titlul original:

Model-Based Requirements Engineering

Conținutul cărții:

Această carte oferă o introducere practică în ingineria și gestionarea cerințelor bazate pe modele prin descrierea unui set de viziuni care stau la baza acestei abordări. Aceste viziuni iau în considerare fiecare cerință individuală din punctul de vedere al descrierii sale, dar apoi, de asemenea, oferă fiecărei cerințe un sens prin plasarea acesteia în „contextul” corect. O cerință care a fost plasată într-un context este cunoscută sub denumirea de „caz de utilizare” și se poate baza fie pe părțile interesate, fie pe nivelurile ierarhice ale unui sistem. Fiecare caz de utilizare trebuie apoi analizat și validat prin definirea unei combinații de scenarii și dovezi formale matematice și logice care să ofere rigoarea necesară pentru sistemele critice din punct de vedere al siguranței și al misiunii.

Cartea abordează, de asemenea, problema crucială a notațiilor de modelare pentru modelarea cerințelor și include discuții privind utilizarea și aplicarea formatelor SysML, text și tabelar.

Problemele pragmatice, cum ar fi adaptarea abordării pentru proiecte scurte, necritice, la proiecte masive, critice, sunt discutate pentru a arăta modul în care tehnicile introduse în carte pot fi aplicate pe proiecte și sisteme din viața reală. Utilizarea mai multor instrumente va fi, de asemenea, discutată, împreună cu exemple ale modului în care un proces eficient poate conduce la realizarea prin orice instrument.