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
  15. Franco Correrini, Paolo Panaroni
    Pages 258-269
  16. Steven A. Birnie
    Pages 302-321
  17. Jeroen J. M. Wiggers, Marc J. A. Oort
    Pages 322-332
  18. Slobodan S. Jovanovic, Linda Simon, Drasko Sotirovski
    Pages 387-396
  19. Gilles M. Pitette, Jean -Yves Corniglion, Daniel Gepner, Jean -Marie Sers, Dominique Ragueneau
    Pages 406-420
  20. Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund
    Pages 421-432
  21. Joyce L. Tokar
    Pages 433-439
  22. Rainer Gerlich, Uwe Wagner
    Pages 440-464
  23. Peter E. Obermayer, Joachim Schröer, Georg Schüer, Peter Kompalla, Achilles Klimek, Rudolf Landwehr
    Pages 483-488
  24. Steen Silberg, Thorkil B. Rasmussen
    Pages 489-498
  25. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences