Theoretical Foundation, Semantics, and Capabilities of System Requirements Modeling Methods
Stephanie White
-
Members: FreeSYSC
IEEE Members: Free
Non-members: FreeLength: 00:53:22
25 Sep 2024
A cross-section of requirements modeling languages and their associated models and methods are evaluated and compared. They are investigated with respect to the robustness of their semantics, their mathematical foundations, and their capability for analysis and verification, as well as support for model construction, comprehension, reuse, and modification.
