<div class="csl-bib-body">
<div class="csl-entry">Gabmeyer, S. (2014). Quality Assurance in MBE Back and Forth. In M. Seidl & N. Tillmann (Eds.), <i>Tests and Proofs. Proceedings of the 8th International Conference, TAP 2014</i> (pp. 78–81). Springer. https://doi.org/10.1007/978-3-319-09099-3_6</div>
</div>
-
dc.identifier.isbn
9783319090986
-
dc.identifier.isbn
9783319090993
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55375
-
dc.description.abstract
The maturing of model-based engineering (MBE) has led to an increased interest and demand on the verification of MBE artifacts. Numerous verification approaches have been proposed in the past and, in fact, due to their diversity it is sometimes difficult to determine whether a suitable approach for the verification task at hand exists. In the first part of this tutorial, we thus present a classification for verification approaches of MBE artifacts that allows us to categorize approaches, among others, according to their intended verification goal and the capabilities of their verification engine. Based thereon, we briefly overview the landscape of existing verification approaches. In the second part, we iteratively build and verify the behavioral correctness of a small software system with our OCL-based model checker MocOCL.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
verification
en
dc.subject
model checking
en
dc.subject
OCL
en
dc.subject
model based engineering
en
dc.title
Quality Assurance in MBE Back and Forth
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.isbn
978-3-319-09099-3
-
dc.relation.doi
10.1007/978-3-319-09099-3
-
dc.relation.issn
0302-9743
-
dc.description.startpage
78
-
dc.description.endpage
81
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Tests and Proofs. Proceedings of the 8th International Conference, TAP 2014
-
tuw.container.volume
8570
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.book.chapter
6
-
tuw.researchTopic.id
I6
-
tuw.researchTopic.name
Business Informatics
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-03 - Forschungsbereich Business Informatics
-
tuw.publisher.doi
10.1007/978-3-319-09099-3_6
-
dc.description.numberOfPages
4
-
tuw.event.name
8th International Conference on Tests and Proofs (TAP 2014)
-
tuw.event.startdate
24-07-2014
-
tuw.event.enddate
25-07-2014
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
York
-
tuw.event.country
GB
-
tuw.event.presenter
Gabmeyer, Sebastian
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.grantfulltext
restricted
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme