OCL Framework to Verify Extra-Functional Properties in Component and Connector Models

(2017) [Beitrag zu einem Tagungsband]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)
Seite(n): 7 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Maoz, Shahar
Mehlan, Ferdinand
Ringert, Jan Oliver
Rumpe, Bernhard
von Wenckstern, Michael


  • REPORT NUMBER: RWTH-2018-00947