Completion of SysML state machines from Given-When-Then requirements

Maria Stella De Biase, Simona Bernardi 0001, Stefano Marrone 0001, José Merseguer, Angelo Palladino. Completion of SysML state machines from Given-When-Then requirements. Software and Systems Modeling, 23(6):1455-1491, December 2024. [doi]

Abstract

Abstract is missing.