Author of the publication

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

, , , , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 24-30. CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formale Methodik des Entwurfs verteilter objektorientierter Systeme.. Datenbank Rundbrief, (1997)UML + ROOM as a Standard ADL?, , , and . ICECCS, page 43-53. IEEE Computer Society, (1999)Exemplary and complete object interaction descriptions., , , , , , , and . Computer Standards & Interfaces, 19 (7): 335-345 (1998)Software language engineering in the large: towards composing and deriving languages., , and . Computer Languages, Systems & Structures, (2018)Model Evolution and Management., , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 241-270. Springer, (2007)Orchestration of Global Software Engineering Projects - Position Paper., , , , , , , and . ICGSE, page 332-337. IEEE Computer Society, (2009)Modeling Language Variability., and . CoRR, (2014)Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling., , , , and . CoRR, (2014)Modeling with UML.. Springer, (2016)Manifest: Strategische Bedeutung des Software Engineering für die Medizin., , , , , and . Inform., Forsch. Entwickl., 22 (3): 127-135 (2008)