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

MS de Biase, S Bernardi, S Marrone… - Software and Systems …, 2024 - Springer
MDE enables the centrality of the models in semi-automated development processes.
However, its level of usage in industrial settings is still not adequate for the benefits MDE …