Ada Deutschland Tagung

Keyphrases

Publications

2003

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

2002

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