Abstract is missing.
- Modelling the Temporal Summation of Neural Membranes Using the Ada LanguageMichael C. Curtis, Victoria J. D. Sivess. 2-19
- The Use of Ada in Reactive Systems: A 3-Dimensional ModelTzilla Elrad, V. Winans. 20-36
- Ada 9X Real-Time Scheduling AlternativesFred A. Maymir-Ducharme. 37-48
- Information Engineering for Systems in AdaStefan Björnson. 50-64
- AFADA, a Measurement Tool for AdaC. T. Tsalidis, A. E. Hatzimanikatis. 65-86
- An Approach To Benchmarking Ada Compilation SystemsTom Curley. 87-108
- Modellin SIMD - Type Parallel Arithmetic Operations in AdaJürgen Wolff von Gudenberg. 110-124
- Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri NetsJingde Cheng, Kazuo Ushijima. 125-146
- A Coprocessor for High Performance Multiprocessor Ada TaskingLars Lundberg. 147-165
- Software Project Activity Network for Managing the Development and Testing ProcessKurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale. 168-192
- Ada in Safety Critical ApplicationsA. Welz. 193-198
- Real-Time Electronic Funds Transfer and AdaJean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe. 199-209
- Introducing HOOD into Software Process Modelling Based EnvironmentsJ. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa. 212-226
- Design Assessment of Ada Systems Using Static AnalysisAlex Delis, William M. Thomas. 227-250
- Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMSP. Soupos, S. Goutas. 252-259
- Distributed Systems and Ada - Current Projects and Approaches Comparative Study s ResultsUwe Baumgarten. 260-278
- Reconfigurable Ada Distributed Control System SoftwareD. C. Levy, M. C. Randelhoff, Joyce L. Tokar. 279-302
- ROSE-Ada: a Method and a Tool to Help Reuse of Ada CodesN. Badaro, Th. Moineau. 304-325
- Software Reuse: Customer vs. Contractor Point-CounterpointTrevor Syms, Christine L. Braun. 326-337
- Reusable Input/Output Packages for Ada Avionic ApplicationsAlfred Rosskopf. 338-360
- Constructing a Pilot Library of Components for Avionic SystemsJosé L. Fernández, Juan Antonio de la Puente. 362-371
- Formally Specifying the Logic of an Automatic Guidance ControllerDavid Guaspari. 372-383
- Ada as High Level Language for Real-Time Systems Exploiting RDBMS TechniquesC. Colombini, A. della Torre, R. Palotti. 384-393
- Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software ProcessesBrian Gilbert, Mike Taylor, Greg Bek. 394-403
- Testing and Integrating a Large Embedded Real-Time SystemJ.-M. Lippens, J. Arnol. 404-411