Ada in Europe

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

Editors:

ISBN: 978-3-540-58822-1 (Print) 978-3-540-49110-1 (Online)

Table of contents (41 chapters)

previous Page of 3
  1. No Access

    Book Chapter

    Pages 1-10

    Opening address: Ada 9X

  2. No Access

    Book Chapter

    Pages 11-23

    Run-time check elimination for Ada 9X

  3. No Access

    Book Chapter

    Pages 24-32

    Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model

  4. No Access

    Book Chapter

    Pages 33-42

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

  5. No Access

    Book Chapter

    Pages 43-59

    The AECSS fault tolerant distributed Ada testbed and application

  6. No Access

    Book Chapter

    Pages 60-62

    A front-end to HOOD

  7. No Access

    Book Chapter

    Pages 63-75

    Tool support for high integrity Ada software

  8. No Access

    Book Chapter

    Pages 76-89

    Testing Ada abstract data types using formal specifications

  9. No Access

    Book Chapter

    Pages 90-103

    Formal methods for a space software development environment

  10. No Access

    Book Chapter

    Pages 104-110

    Object orientation is not always best!

  11. No Access

    Book Chapter

    Pages 111-120

    Beyond abstract data types: Giving life to objects

  12. No Access

    Book Chapter

    Pages 121-129

    Test methods and tools for SOHO Mass Memory Unit software

  13. No Access

    Book Chapter

    Pages 130-146

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

  14. No Access

    Book Chapter

    Pages 147-154

    A new approach for HOOD/Ada mapping

  15. No Access

    Book Chapter

    Pages 155-161

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

  16. No Access

    Book Chapter

    Pages 162-169

    How should military Ada software be documented?

  17. No Access

    Book Chapter

    Pages 170-174

    Evolving an Ada curriculum to 9X

  18. No Access

    Book Chapter

    Pages 175-203

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

  19. No Access

    Book Chapter

    Pages 204-214

    Life ADA: An APSE integrating multiple compilers

  20. No Access

    Book Chapter

    Pages 215-230

    Extended application of Ada to cover ECBS with O4S

previous Page of 3