Proving properties of operation contracts with test scenarios

Link:
Autor/in:
Verlag/Körperschaft:
Springer
Erscheinungsjahr:
2023
Medientyp:
Text
Schlagworte:
  • Invariant
  • Model consistency
  • Operation contract
  • Property reachability
  • UML and OCL model
  • 004: Informatik
  • ddc:004
Beschreibung:
  • PeerReviewed
Quellsystem:
ReposIt
Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/14854