Acronym
ODL 2024
SYSC ODL: "Theoretical Foundation, Semantics, and Capabilities of System Requirements Modeling Methods" by Stephanie White
Date
![SYSC](/files/ieeesyscouncil/styles/responsive_2_1_1020w/public/images/media/photos/SYSC%20Zoom%20%282%29.png?itok=U0TprfHh)
Event Menu
Description
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.