Login / Signup
Verifying consistency between activity diagrams and their corresponding OCL contracts.
Christoph Hilken
Julia Seiter
Robert Wille
Ulrich Kühne
Rolf Drechsler
Published in:
FDL (2014)
Keyphrases
</>
activity diagrams
sequence diagrams
conceptual database design
class diagrams
uml class diagrams
petri net
operational semantics
test cases
requirements engineering
knowledge representation
model checking
intermediate representation
regression testing
class diagram
open source
requirements specification