Browsing Sciences – Thèses by Subject "B System"
Now showing documents 1-1 of 1
-
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée
Other titre : Towards a tool-supported and proven formal requirements engineering method(Université de Sherbrooke, 2019)The SysML/KAOS method allows to model system requirements through goal hierarchies. B System is a formal method used to construct, verify and validate system specifications. A B System model consists of a structural part ...
