Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies Ada-Europe 2000

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

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Hubert B. Keller

    1.  ,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Erhard Plödereder

    1. Institute of Software Technology, University of Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  3. Real-Time and Safety-Critical Systems

    1. Object-Oriented Programming and Protected Objects in Ada 95

      • Andy J. Wellings, Bob Johnson, Bo Sanden, Joerg Kienzle, Thomas Wolf, Stephen Michell
      Pages 16-28

    2. Is an Ada Lint Necessary?

      • Björn Källberg
      Pages 29-40

  4. Session: Tools

    1. Using JavaTM APIs with Native Ada Compilers

      • Shayne Flint, Brian Dobbing
      Pages 41-55

    2. Static Worst-Case Execution Time Analysis of Synchronous Programs

      • Thomas Ringler
      Pages 56-68

    3. A Supporting Tool for Development of Self-Measurement Ada Programs

      • Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima
      Pages 69-81

  5. Session: APIs and Components

    1. On Persistent and Reliable Streaming in Ada

      • Jörg Kienzle, Alexander Romanovsky
      Pages 82-95

    2. Reengineering the Booch Component Library

      • Jordi Marco, Xavier Franch
      Pages 96-111

    3. GtkAda: Design and Implementation of a High Level Binding in Ada

      • Emmanuel Briot, Joël Brobecker, Arnaud Charlet
      Pages 112-124

  6. Session: ASIS

    1. ASIS-for-GNAT: A Report of Practical Experiences

      • Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov
      Pages 125-137

    2. Generation of Interface Design Description Documents Using ASIS

      • Steven V. Hovater, William Marksteiner, Allen Butturini
      Pages 138-148

    3. An Ada95 Programming Style Checker Using the GNAT ASIS Implementation

      • Patrick Closhen, Hans-Jürgen Hoffmann
      Pages 149-160

  7. Session: Risk and Reliability Management

    1. Enhancements in Software Project Risk Management

      • Peter Wieland, Frode Høgberg, Kristin Strømseng
      Pages 161-172

    2. Constructing Reliable Embedded Systems Using the Results of System Safety Analysis

      • Giuseppe Mauri, Stefan Scheer
      Pages 173-184

    3. An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction

      • Néstor R. Barraza, Jonas D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi
      Pages 185-195
Back to top

Keywords

Editors and Affiliations

  •  ,  

    Hubert B. Keller

  • Institute of Software Technology, University of Stuttgart, Stuttgart, Germany

    Erhard Plödereder

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation