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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
1 Online-Ressource.
Language
Englisch

Bibliographic citation
Completion of SysML state machines from Given–When–Then requirements ; volume:23 ; number:6 ; day:27 ; month:11 ; year:2024 ; pages:1455-1491 ; date:12.2024
Software and systems modeling ; 23, Heft 6 (27.11.2024), 1455-1491, 12.2024

Creator
de Biase, Maria Stella
Bernardi, Simona
Marrone, Stefano
Merseguer, José
Palladino, Angelo
Contributor
SpringerLink (Online service)

DOI
10.1007/s10270-024-01228-3
URN
urn:nbn:de:101:1-2502262105042.135494849996
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:27 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • de Biase, Maria Stella
  • Bernardi, Simona
  • Marrone, Stefano
  • Merseguer, José
  • Palladino, Angelo
  • SpringerLink (Online service)

Other Objects (12)

Approximability of average completion time scheduling on unrelated machines

Approximability of average completion time scheduling on unrelated machines

Can Machines Learn Creativity Needs? An Approach Based on Matrix Completion

Can Machines Learn Creativity Needs? An Approach Based on Matrix Completion

SYS

Graffiti | Streetart

SYS

SYS

Graffiti | Streetart

SYS

SYS

Graffiti | Streetart

SYS

SYS

Graffiti | Streetart

SYS

SYS

Graffiti | Streetart

SYS

SYS

Schriftgut

SYS

Term completion versus algebraic completion

Hochschulschrift

Term completion versus algebraic completion

A PTAS for minimizing the total weighted completion time on identical parallel machines

A PTAS for minimizing the total weighted completion time on identical parallel machines

Kombinatsbildung SYS

Archivale

Kombinatsbildung SYS

SYsTEM

Graffiti | Streetart

SYsTEM

Related objects