Abstract is missing.
- Ansatz zur Erstellung und Wartung von Simulink-Modellen durch den Einsatz von Transformationen/Refactorings und GenerierungsoperationenQuang Minh Tran, Christian Dziobek. 1-12
- Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-AnalyseSebastian Bauer, Peter Braun 0003, Jan Philipps. 13-19
- Educational Effect of a Student Competition with Self-Driving Cars on Selected Software Engineering TopicsChristian Berger. 20-29
- A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded AutomataJan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann. 30-43
- Requirements as First-Class Citizens: Integrating Requirements closely with Implementation ArtifactsMarkus Völter, Federico Tomassetti. 44-49
- On Efficient and Effective Model-based Parallelization of Hard Real-Time ApplicationsRalf Jahr, Mike Gerdes, Theo Ungerer. 50-59
- Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow ModelsAdrian Beer, Todor Georgiev, Florian Leitner-Fischer, Stefan Leue. 60-69
- Optimizing Formal Specifications - Why and HowFrank Ortmeier, Simon Struck. 70-79
- Modellbasiertes und technologieneutrales HMI für eingebettete KomponentenHolger Jeromin, Ulrich Epple. 80-89
- Plug-and-Produce: Semantic Module ProfileJens Otto, Björn Böttcher, Oliver Niggemann. 90-99