Abstract is missing.
- Eignung der UML 2.0 zur Entwicklung von BordnetzarchitekturenMichael von der Beeck. 1-5 [doi]
- Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und LösungsansätzeMirko Conrad, Heiko Dörr. 6-18 [doi]
- Petri Net Model Synthesis from ScenariosJörg Desel. 19-26 [doi]
- Abdeckungskriterien in der modellbasierten Testfallgenerierung: Stand der Technik und PerspektivenMario Friske, Bernd-Holger Schlingloff. 27-34 [doi]
- Scenario-Based Verification of Automotive Software SystemsMatthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch. 35-42 [doi]
- Enhanced Requirements-Based Programming for Embedded Systems DesignMichael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen. 43-52 [doi]
- Comparing Heuristics for Model Based Testsuite GenerationMichaela Huhn, Tilo Mücke. 53-62 [doi]
- UML-basierte Entwicklung sicherheitskritischer Systeme im BahnbereichHardi Hungar. 63-64 [doi]
- An Actor-Oriented Model-Based Design Flow for Systems-on-ChipLeandro Soares Indrusiak, Manfred Glesner. 65-74 [doi]
- Using an UML profile for timing analysis with the IF validation tool-setIulian Ober, Susanne Graf, Yuri Yushtein. 75-84 [doi]
- Zur Kosteneffektivität des modellbasierten TestensAlexander Pretschner. 85-94 [doi]
- Real-time Operating Systems for Self-coordinating Embedded SystemsFranz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür. 95-104 [doi]
- Some motivation and current results for synchronous modeling and implementationJan Romberg. 105-112 [doi]
- Testing of Embedded Control Systems with Continous SignalsIna Schieferdecker, Jürgen Großmann. 113-122 [doi]
- Domänenspezifische Integration von Modellierungswerkzeugen mit SichtenAndy Schürr, Johannes Jakob. 123-130 [doi]
- Derivation of Executable Test Models from Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain -Justyna Zander-Nowicka, Ina Schieferdecker, Tibor Farkas. 131-140 [doi]