Proving properties of operation contracts with test scenarios

Gogolla, Martin; Hamann, Lars

doi:10.1007/978-3-031-38828-6_6

Verlagslink DOI:	10.1007/978-3-031-38828-6_6
Titel:	Proving properties of operation contracts with test scenarios
Sprache:	Englisch
Autorenschaft:	Gogolla, Martin Hamann, Lars
Herausgeber*In:	Prevosto, Virgile Seceleanu, Cristina
Schlagwörter:	Invariant; Model consistency; Operation contract; Property reachability; UML and OCL model
Erscheinungsdatum:	20-Jul-2023
Verlag:	Springer
Teil der Schriftenreihe:	Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Zeitschrift oder Schriftenreihe:	Lecture notes in computer science
Zeitschriftenband:	14066
Anfangsseite:	97
Endseite:	107
Konferenz:	International conference on tests and proofs 2023
URI:	http://hdl.handle.net/20.500.12738/14854
ISBN:	978-3-031-38828-6 978-3-031-38827-9 978-3-031-38829-3
ISSN:	1611-3349
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Department Informatik Fakultät Technik und Informatik
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text