Jürgen F.H. Winkler, Peter Dencker, Hubert B. Keller, Michael Tonndorf (Hrsg.)

Ada Deutschland Tagung 2002
Software für sicherheitskritische Systeme
6. bis 8. März 2002
Jena, Friedrich-Schiller-Universität

Shaker Verlag Aachen 2002

Inhalt:
  1. Objektorientierte Entwicklung eingebetteter (Echtzeit-)Systeme mit UML?
    Lutz Bichler, Andy Schürr, München-Neubiberg

  2. Conformity! A Practical Integration of Standards - A Case for using the Unified Modelling Language (UML) with the Ada Programming Language
    Francis Thom, Cheltenham

  3. Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
    Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl, München

  4. An Open Source Ada 95 Safety Kit (A dependable open source embedded operating system for GNAT)
    Volkert Barr, Sergio Montenegro, Berlin

  5. UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen
    Klaus Wachsmuth, Karlsruhe

  6. Codeanalysen
    Erhard Plödereder, Stuttgart

  7. Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK
    Carsten Freining, Stefan kauer, Jürgen F.H. Winkler, Jena und München

  8. Ada trifft Algebra
    Reinhard Siara