Jürgen F. H. Winkler, Peter Denecker, Hubert B. Keller, Michael Tonndorf (Eds.):
Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität.
Shaker Verlag 2003, ISBN 3-8265-9956-X 
- Lutz Bichler, Andy Schürr:
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML?
11-28
- Francis Thom:
Conformity! A Practical Integration of Standards - A Case for using the Unified Modelling Language (UML) with the Ada Programming Language.
29-36
- Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
37-52
- Volkert Barr, Sergio Montenegro:
Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT).
53-66
- Klaus Wachsmuth:
UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen.
67-77
- Erhard Plödereder:
Codeanalysen.
79-126
- Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.
127-145
- Reinhard Siara:
Ada trifft Algebra.
147-151
Last update Wed May 22 00:06:00 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
