Stop the war!
Остановите войну!
for scientists:
default search action
Ada Deutschland Tagung 2002: Jena
- 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. Shaker Verlag 2003, ISBN 3-8265-9956-X - Lutz Bichler, Andy Schürr:
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? Ada Deutschland Tagung 2002: 11-28 - 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: 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. Ada Deutschland Tagung 2002: 37-52 - 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: 53-66 - Klaus Wachsmuth:
UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen. Ada Deutschland Tagung 2002: 67-77 - Erhard Plödereder:
Codeanalysen. Ada Deutschland Tagung 2002: 79-126 - Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145 - Reinhard Siara:
Ada trifft Algebra. Ada Deutschland Tagung 2002: 147-151
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.