Ada for high integrity systems, Andrew Hutcheon et al; SPARK - a safety-related Ada subset, Bernard Carre et al; Ada 9X safety and security annex, B.A. Wichmann; safety kernels and the Ada programming language, Alan Burns and Andy Wellings; debugging large real-time distributed multiprocessor systems, David Towers; multiprocessor support in XD Ada, Lawrence Collingbourne; AdaTEST - the integrated approach, Ian Gilchrist; a case study in data management in the air traffic control Advanced Automation System (AAS), Hank Greene and Jeff Krichmar; Ada on vector architectures, Ian Pestell; design and implementation of a data-driven message processing system, David Gagliano; design and development of an IGES editor using Ada, Paul E. Bradbeer; deriving an object-oriented Ada system from an existing "old technology" implementation, Ted Dowling; rational insight - Ada reverse engineering, John Lambert; Ada reuse with the US Navy undersea application domain, Dan Juttelstad et al; COBOL and Ada in management information systems, Ken Blair et al; the role of inheritance as an import/export mechanism, Jim Armstrong et al; objects, values and modes revisited, Michel Gauthier; avoiding incompatibilities in Ada 9X, Bill Taylor.
