Ada Deutschland Tagung 2002: Jena

> Home > Conferences and Workshops > Ada Deutschland Tagung

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/2002
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/BichlerS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/BichlerS02
Lutz Bichler, Andy Schürr:
Objektorientierte Entwicklung eingebetteter (Echtzeit-) Systeme mit UML? Ada Deutschland Tagung 2002: 11-28
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/Thom02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/Thom02
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/BlotzHLPSZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/BlotzHLPSZ02
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/BarrM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/BarrM02
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/Wachsmuth02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/Wachsmuth02
Klaus Wachsmuth:
UML Entwurfsmuster zum Einsatz in sicherheitskritischen Systemen. Ada Deutschland Tagung 2002: 67-77
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/Plodereder02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/Plodereder02
Erhard Plödereder:
Codeanalysen. Ada Deutschland Tagung 2002: 79-126
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/FreiningKW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/FreiningKW02
Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler:
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/adaD/Siara02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaD/Siara02
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.