Abstract is missing.
- Automatisiertes Testen mit Message Sequence Charts (MSCs)Andrea Osterloh, Oscar Slotosch. 1-2 [doi]
- View-Centric Modeling of Automotive Logical ArchitecturesHans Grönniger, Jochen Hartmann, Holger Krahn, Stefan Kriebel, Lutz Rothhardt, Bernhard Rumpe. 3-12 [doi]
- Testverfahren für Elektronik und Embedded Software in der AutomobilentwicklungGerd Baumann, Michael Brost. 13-19 [doi]
- Durchgehende Systemverifikation im Automotiven EntwicklungsprozessOliver Niggemann, Rainer Otterbach. 20-27 [doi]
- Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software DevelopmentIngo Stürmer, Christian Dziobek, Hartmut Pohlheim. 28-39 [doi]
- Integrating Timing Aspects in Model- and Component-Based Embedded Control System Development for Automotive ApplicationsPatrick Frey, Ulrich Freund. 40-56 [doi]
- Clone Detection in Automotive Model-Based DevelopmentFlorian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert. 57-67 [doi]
- Modelbasierte Softwareentwicklung mit SCADE in der EisenbahnautomatisierungStefan Milius, Uwe Steinke. 68-77 [doi]
- Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-ViewStefan Henkler, Martin Hirsch. 78-86 [doi]
- Composition of Model-based Test Coverage CriteriaMario Friske, Bernd-Holger Schlingloff, Stephan Weißleder. 87-94 [doi]
- Testbasierte Entwicklung von Steuergeräte-FunktionsmodellenFrank Tränkle, Robert Bechtold, Stefan Harms. 95-101 [doi]
- A Service-Oriented Approach to Failure ManagementVina Ermagan, Claudiu Farcas, Emilia Farcas, Ingolf H. Krüger, Massimiliano Menarini. 102-116 [doi]