Publikation
Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts
Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuehne; Rolf Drechsler
In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.
Zusammenfassung
o.A.