Abstract is missing.
- Towards Tool Support for Service-Oriented Development of Embedded Automotive SystemsVina Ermagan, To-ju Huang, Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini, Praveen Moorthy. 1-24 [doi]
- From Component Models to Function Nets?Jan Philipps. 25-28 [doi]
- Obstacles to the Adoption of Model-based Design within the Automotive Supply IndustryEva Kalix, Oliver Schütte. 29-34 [doi]
- Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive ApplicationsMirko Conrad. 41-50 [doi]
- Notation und Verfahren zur automatischen Überprüfung von temporalen Signalabhängigkeiten und -merkmalen für modellbasiert entwickelte SoftwareCarsten Gips, Hans-Werner Wiesbrock. 51-60 [doi]
- Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-EntwicklungsprozessesTibor Farkas, Harald Röbig. 61-73 [doi]
- Typisierung und Verifikation zeitlicher Anforderungen automotiver Software SystemeMatthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel. 73-82 [doi]
- Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und TransformationenIngo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf. 83-94 [doi]
- Requirements Engineering in der Analysephase mit der Rational SuiteMichael Erskine. 95-102 [doi]
- Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements ModelsMartin Glinz, Christian Seybold, Silvio Meier. 103-112 [doi]
- Generierung von UML-Modellen aus formalisierten AnwendungsfallbeschreibungenMario Friske, Bernd-Holger Schlingloff. 113-112 [doi]