Ada in Europe

Opening address: Ada 9X.- Run-time check elimination for Ada 9X.- Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model.- Merging Ada 9X and C++ in a graphics system software architecture.- The AECSS fault tolerant distributed Ada testbed and application.- A front-end to HOOD.- Tool support for high integrity Ada software.- Testing Ada abstract data types using formal specifications.- Formal methods for a space software development environment.- Object orientation is not always best!.- Beyond abstract data types: Giving life to objects.- Test methods and tools for SOHO Mass Memory Unit software.- Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments.- A new approach for HOOD/Ada mapping.- Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods.- How should military Ada software be documented?.- Evolving an Ada curriculum to 9X.- Recommendations and proposals for an Ada strategy in the Space Software Development Environment.- Life ADA: An APSE integrating multiple compilers.- Extended application of Ada to cover ECBS with O4S.- Development of a lightweight object-based software process model under pragmatic constraints.- ESSPASE: European Space Software Product Assurance Support Environment.- Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter.- A knowledge-based System for diagnosis in Veterinary Medicine.- Event diagnosis and recovery in real-time on-board autonomous mission control.- Safety aspects of the Ariane 5 on-board software.- Ada controls the European robotic arm.- Automatic generation of ada source code for the Rafale Mission computer.- The Real-time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions.- A fully reusable class of objects for synchronization and communicationin Ada 9X.-