Skip to main content
SpringerLink
Log in

Ada in Europe

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

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Marcel Toussaint
    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 887)

Included in the following conference series:

Conference proceedings info: Ada-Europe 1994.

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

Access this book

Log in via an institution
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 (41 papers)

  1. Front Matter

    Download chapter PDF

  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. Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model

    • Jacques Sevestre, Jacques Brygier
    Pages 24-32

  5. Merging Ada 9X and C++ in a graphics system software architecture

    • Jordan R. Kayloe, Patricia K. Lawlis
    Pages 33-42

  6. The AECSS fault tolerant distributed Ada testbed and application

    • Patrick Rogers, Marc Pitarys
    Pages 43-59

  7. A front-end to HOOD

    • J. Hagelstein, D. Roelants
    Pages 60-62

  8. 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

  9. Testing Ada abstract data types using formal specifications

    • Stéphane Barbey, Didier Buchs
    Pages 76-89

  10. Formal methods for a space software development environment

    • P. Taylor
    Pages 90-103

  11. Object orientation is not always best!

    • Roger Ward, John Stevens
    Pages 104-110

  12. Beyond abstract data types: Giving life to objects

    • Drasko Sotirovski, Slobodan Jovanovic, Philippe Kruchten
    Pages 111-120

  13. Test methods and tools for SOHO Mass Memory Unit software

    • Paul Arberet, Laurent Desplas
    Pages 121-129

  14. Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments

    • Maurice Heitz
    Pages 130-146

  15. A new approach for HOOD/Ada mapping

    • P. Dissaux, P. Farail, P. Leroy, P. Micouin
    Pages 147-154

  16. Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods

    • Heinz Schneeweiss
    Pages 155-161

  17. How should military Ada software be documented?

    • Lewis Gray
    Pages 162-169

  18. Evolving an Ada curriculum to 9X

    • John Rymer
    Pages 170-174

  19. Recommendations and proposals for an Ada strategy in the Space Software Development Environment

    • Leslie P. Gale
    Pages 175-203

  20. Life ADA: An APSE integrating multiple compilers

    • Steen Ulrik Palm
    Pages 204-214
Back to top

Other volumes

  1. Ada in Europe

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation