Completion of SysML state machines from Given–When–Then requirements
Crossref DOI link: https://doi.org/10.1007/s10270-024-01228-3
Published Online: 2024-11-27
Published Print: 2024-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
de Biase, Maria Stella
Bernardi, Simona
Marrone, Stefano
Merseguer, José
Palladino, Angelo
Text and Data Mining valid from 2024-11-27
Version of Record valid from 2024-11-27
Article History
Received: 14 August 2023
Revised: 16 September 2024
Accepted: 2 October 2024
First Online: 27 November 2024