Table of contents

  1. Front Matter
  2. Chris Anderson
    Pages 1-10
  3. Peter Lützen Møller
    Pages 11-23
  4. Jordan R. Kayloe, Patricia K. Lawlis
    Pages 33-42
  5. Patrick Rogers, Marc Pitarys
    Pages 43-59
  6. J. Hagelstein, D. Roelants
    Pages 60-62
  7. A. D. Hutcheon, D. T. Jordan, J. A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson
    Pages 63-75
  8. Stéphane Barbey, Didier Buchs
    Pages 76-89
  9. Roger Ward, John Stevens
    Pages 104-110
  10. Drasko Sotirovski, Slobodan Jovanovic, Philippe Kruchten
    Pages 111-120
  11. Paul Arberet, Laurent Desplas
    Pages 121-129
  12. P. Dissaux, P. Farail, P. Leroy, P. Micouin
    Pages 147-154
  13. John Rymer
    Pages 170-174
  14. Steen Ulrik Palm
    Pages 204-214

About these proceedings


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.


Ada Ada-Programmieren Ada-Programming Echtzeit-Systeme Lebenszyklus Life Cycle Object-Orientation Real-Time Systems Safety-Critical Systems Sicherheitskritische Systeme compiler formal method real-time software engineering

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58822-1
  • Online ISBN 978-3-540-49110-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book