Ada: The Choice for '92

Modelling the temporal summation of neural membranes using the Ada language.- The use of Ada in reactive systems: A 3-dimensional model.- Ada 9X real-time scheduling alternatives.- Information engineering for systems in Ada.- AFADA, a measurement tool for Ada.- An approach to benchmarking Ada compilation systems.- Modelling SIMD — Type parallel arithmetic operations in Ada.- Analyzing Ada tasking deadlocks and livelocks using extended Petri nets.- A coprocessor for high performance multiprocessor Ada tasking.- Software project activity network for managing the development and testing process.- Ada in safety critical applications.- Real time electronic funds transfer and Ada.- Introducing HOOD into software process modelling based environments.- Design assessment of Ada systems using static analysis.- Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS.- Distributed systems and Ada — Current projects and approaches comparative study's results.- Reconfigurable Ada distributed control system software.- ROSE-ADA: a method and a tool to help reuse of Ada codes.- Software reuse: Customer vs. contractor point-counterpoint.- Reusable input/output packages for Ada avionic applications.- Constructing a pilot library of components for avionic systems.- Formally specifying the logic of an automatic guidance controller.- Ada as high level language for real time systems exploiting RDBMS techniques.- Experience developing two Ada applications for embedded real-time systems using different software processes.- Testing and integrating a large embedded real-time system.