Skip to main content
  • Conference proceedings
  • © 1994

Ada in Europe

First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings

Editors:

Conference proceedings info: Ada-Europe 1994.

Buy it now

Buying options

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

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

Table of contents (41 papers)

  1. Front Matter

  2. Opening address: Ada 9X

    • Chris Anderson
    Pages 1-10
  3. Run-time check elimination for Ada 9X

    • Peter Lützen Møller
    Pages 11-23
  4. Merging Ada 9X and C++ in a graphics system software architecture

    • Jordan R. Kayloe, Patricia K. Lawlis
    Pages 33-42
  5. The AECSS fault tolerant distributed Ada testbed and application

    • Patrick Rogers, Marc Pitarys
    Pages 43-59
  6. A front-end to HOOD

    • J. Hagelstein, D. Roelants
    Pages 60-62
  7. Tool support for high integrity Ada software

    • A. D. Hutcheon, D. T. Jordan, J. A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
    Pages 63-75
  8. Testing Ada abstract data types using formal specifications

    • Stéphane Barbey, Didier Buchs
    Pages 76-89
  9. Object orientation is not always best!

    • Roger Ward, John Stevens
    Pages 104-110
  10. Beyond abstract data types: Giving life to objects

    • Drasko Sotirovski, Slobodan Jovanovic, Philippe Kruchten
    Pages 111-120
  11. Test methods and tools for SOHO Mass Memory Unit software

    • Paul Arberet, Laurent Desplas
    Pages 121-129
  12. A new approach for HOOD/Ada mapping

    • P. Dissaux, P. Farail, P. Leroy, P. Micouin
    Pages 147-154
  13. Evolving an Ada curriculum to 9X

    • John Rymer
    Pages 170-174
  14. Life ADA: An APSE integrating multiple compilers

    • Steen Ulrik Palm
    Pages 204-214

Other Volumes

  1. Ada in Europe

About this book

This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe.
The 42 papers accepted for presentation address general Ada-related software engineering aspects as well as Ada language issues; the majority of the papers are stimulated by research and development done in the aerospace and aircraft industry. Among the topics covered are compiler issues, safety, criticality and formal methods, object-orientation, management and training, life cycle, reuse, Ada-libraries, run-time, and real-time aspects.

Bibliographic Information

Buy it now

Buying options

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