Proving properties of operation contracts with test scenarios

Gogolla, Martin; Hamann, Lars

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

DC Element	Wert	Sprache
dc.contributor.author	Gogolla, Martin	-
dc.contributor.author	Hamann, Lars	-
dc.date.accessioned	2024-02-20T15:48:37Z	-
dc.date.available	2024-02-20T15:48:37Z	-
dc.date.issued	2023-07-20	-
dc.identifier.isbn	978-3-031-38828-6	en_US
dc.identifier.isbn	978-3-031-38827-9	en_US
dc.identifier.isbn	978-3-031-38829-3	en_US
dc.identifier.issn	1611-3349	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/14854	-
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.relation.ispartof	Lecture notes in computer science	en_US
dc.subject	Invariant	en_US
dc.subject	Model consistency	en_US
dc.subject	Operation contract	en_US
dc.subject	Property reachability	en_US
dc.subject	UML and OCL model	en_US
dc.subject.ddc	004: Informatik	en_US
dc.title	Proving properties of operation contracts with test scenarios	en
dc.type	inProceedings	en_US
dc.relation.conference	International conference on tests and proofs 2023	en_US
dc.description.version	PeerReviewed	en_US
local.contributorPerson.editor	Prevosto, Virgile	-
local.contributorPerson.editor	Seceleanu, Cristina	-
tuhh.container.endpage	107	en_US
tuhh.container.startpage	97	en_US
tuhh.container.volume	14066	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Department Informatik	en_US
tuhh.publication.institute	Fakultät Technik und Informatik	en_US
tuhh.publisher.doi	10.1007/978-3-031-38828-6_6	-
tuhh.relation.ispartofseries	Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings	en_US
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.fulltext	No Fulltext	-
item.grantfulltext	none	-
item.openairetype	inProceedings	-
item.tuhhseriesid	Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings	-
item.creatorGND	Gogolla, Martin	-
item.creatorGND	Hamann, Lars	-
item.languageiso639-1	en	-
item.creatorOrcid	Gogolla, Martin	-
item.creatorOrcid	Hamann, Lars	-
item.cerifentitytype	Publications	-
item.seriesref	Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings	-
crisitem.author.dept	Department Informatik	-
crisitem.author.orcid	0000-0002-5051-0119	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text