Jürgen F. H. Winkler, Peter Dencker, Hubert B. Keller, Michael Tonndorf
Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität
Ada Deutschland Tagung, 2002.

@proceedings{Ada-2002,
	editor        = "Jürgen F. H. Winkler and Peter Dencker and Hubert B. Keller and Michael Tonndorf",
	isbn          = "3-8265-9956-X",
	publisher     = "{Shaker Verlag}",
	title         = "{Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität}",
	year          = 2002,
}

Contents (8 items)

5 ×#german
4 ×#ada
3 ×#uml
2 ×#modelling
2 ×#safety

Ada-2002-BichlerS #german #question #uml

Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? (LB, AS), pp. 11–28.

Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #standard #uml #using

Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.

Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.

Ada-2002-BarrM #ada #embedded #named #open source #operating system #safety

Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.

Ada-2002-Wachsmuth #german #uml

UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen (KW), pp. 67–77.

Ada-2002-Plodereder #german

Codeanalysen (EP), pp. 79–126.

Ada-2002-FreiningKW #german

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK (CF, SK, JFHW), pp. 127–145.

Ada-2002-Siara #ada #algebra #german

Ada trifft Algebra (RS), pp. 147–151.