Autor der Publikation

Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models.

, , , , , und . Modellierung, Volume P-254 von LNI, Seite 109-116. GI, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Agile Test-based Modeling.. Software Engineering Research and Practice, Seite 10-15. CSREA Press, (2006)Tailoring the MontiArcAutomaton Component & Connector ADL for Generative Development., , und . CoRR, (2015)Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring, 2. Auflage.. Xpert.press Springer, (2012)08331 Manifesto - Model Engineering for Complex Systems., , , , und . Perspectives Workshop: Model Engineering of Complex Systems (MECS), Volume 08331 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Deriving fluent internal domain-specific languages from grammars., , , , und . SLE, Seite 187-199. ACM, (2018)Identifying Code Generation Candidates Using Software Categories., und . MODELSWARD (Revised Selected Papers), Volume 580 von Communications in Computer and Information Science, Seite 356-372. Springer, (2015)Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?, , , und . Software Engineering (Workshops), Volume 2308 von CEUR Workshop Proceedings, Seite 87-94. CEUR-WS.org, (2019)Synthesizing of Process-Aware Digital Twin Cockpits from Event Logs., , , , und . Software Engineering, Volume P-332 von LNI, Seite 33-34. Gesellschaft für Informatik e.V., (2023)Einführung eines Produktlinienansatzes in die automotive Softwareentwicklung am Beispiel von Steuergerätesoftware., , , und . Software Engineering, Volume P-198 von LNI, Seite 181-192. GI, (2012)Verifying Component and Connector Models against Crosscutting Structural Views., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 110-111. GI, (2015)