Abstract is missing.
- Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?Lutz Bichler, Andy Schürr. 11-28
- Conformity! A Practical Integration of Standards - A Case for using the Unified Modelling Language (UML) with the Ada Programming LanguageFrancis Thom. 29-36
- Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical SystemsAndree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl. 37-52
- Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT)Volkert Barr, Sergio Montenegro. 53-66
- UML Entwurfsmuster zum Einsatz in sicherheitskritischen SystemenKlaus Wachsmuth. 67-77
- CodeanalysenErhard Plödereder. 79-126
- Ein Vergleich der Programmbeweiser FPP, NPPV und SPARKCarsten Freining, Stefan Kauer, Jürgen F. H. Winkler. 127-145
- Ada trifft AlgebraReinhard Siara. 147-151