Reliable Software Technologies Ada-Europe 2000

5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings

  • Hubert B. Keller
  • Erhard Plödereder
Conference proceedings Ada-Europe 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1845)

Table of contents

  1. Front Matter
  2. Invited Presentations

  3. Real-Time and Safety-Critical Systems

    1. Andy J. Wellings, Bob Johnson, Bo Sanden, Joerg Kienzle, Thomas Wolf, Stephen Michell
      Pages 16-28
    2. Björn Källberg
      Pages 29-40
  4. Session: Tools

    1. Shayne Flint, Brian Dobbing
      Pages 41-55
    2. Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
      Pages 69-81
  5. Session: APIs and Components

    1. Jörg Kienzle, Alexander Romanovsky
      Pages 82-95
    2. Jordi Marco, Xavier Franch
      Pages 96-111
    3. Emmanuel Briot, Joël Brobecker, Arnaud Charlet
      Pages 112-124
  6. Session: ASIS

    1. Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov
      Pages 125-137
    2. Steven V. Hovater, William Marksteiner, Allen Butturini
      Pages 138-148
    3. Patrick Closhen, Hans-Jürgen Hoffmann
      Pages 149-160
  7. Session: Risk and Reliability Management

    1. Peter Wieland, Frode Høgberg, Kristin Strømseng
      Pages 161-172
    2. Néstor R. Barraza, Jonas D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi
      Pages 185-195
  8. Session: UML

About these proceedings

Keywords

Ada Ada 95 Ada-programming Compiler Java Unified Modeling Language (UML) dependable systems embedded systems object oriented design program analysis programming real-time risk management safety-critical systems software architecture

Editors and affiliations

  • Hubert B. Keller
    • 1
  • Erhard Plödereder
    • 2
  1. 1.  
  2. 2.Institute of Software TechnologyUniversity of StuttgartStuttgartGermany

Bibliographic information

  • DOI https://doi.org/10.1007/10722060
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67669-0
  • Online ISBN 978-3-540-45098-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace