Ada Deutschland Tagung 2002: Jena

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 BibTeX

@proceedings{DBLP:conf/adaD/2002,
  editor    = {J{\"u}rgen F. H. Winkler and
               Peter Denecker and
               Hubert B. Keller and
               Michael Tonndorf},
  title     = {Ada Deutschland Tagung 2002: Software f{\"u}r sicherheitskritische
               Systeme, 6. bis 8. M{\"a}rz 2002, Jena, Friedrich-Schiller-Universit{\"a}t},
  booktitle = {Ada Deutschland Tagung},
  publisher = {Shaker Verlag},
  year      = {2003},
  isbn      = {3-8265-9956-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Lutz Bichler, Andy Schürr: Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? 11-28 BibTeX
Francis Thom: Conformity! A Practical Integration of Standards - A Case for using the Unified Modelling Language (UML) with the Ada Programming Language. 29-36 BibTeX
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 BibTeX
Volkert Barr, Sergio Montenegro: Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT). 53-66 BibTeX
Klaus Wachsmuth: UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen. 67-77 BibTeX
Erhard Plödereder: Codeanalysen. 79-126 BibTeX
Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. 127-145 BibTeX
Reinhard Siara: Ada trifft Algebra. 147-151 BibTeX