Abstract is missing.
- Finite Unions for Ada 95Bernd Holzmüller, Erhard Plödereder. 1-12
- Ada Bindings for C Interfaces: Lessons Learned from the Florist ImplementationTheodore P. Baker, Dong-Ik Oh. 13-22
- An Ada 95 Sort Race Construction SetMichael B. Feldman. 23-34
- Computer Aided Teaching of Programming Languages: An Ada-specific DevelopmentJ. E. Cooling, N. Duff, J. Cooling. 35-45 [doi]
- The SPIF ProjectBertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu. 46-55
- Developing Scripting Capabilities for an Ada-Based SimulatorSlobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen. 56-63
- Systematic Unit-Testing of Ada ProgramsJoachim Wegener, Ines Fey. 64-75
- TMIngmar Ögren. 76-87 [doi]
- Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation SelectionXavier Franch. 88-99
- Semantics-Based Support Tools for High Integrity Ada SoftwareW. L. Yeung. 100-111
- An Alternative Toolset for Analysis of Ada ProgramsAlex E. Bell. 112-124 [doi]
- Implementing Application-Level Sporadic Server Schedulers in Ada 95Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez. 125-136
- Capturing and Verifying Performance Requirements for Hard Real Time SystemsR. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle. 137-148
- Task Termination in Ada 95Andy J. Wellings, Alan Burns, Offer Pazy. 149-160
- : Parameter-Induced Aliasing and Related Problems can be AvoidedWolfgang Gellerich, Erhard Plödereder. 161-172
- Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented MethodsK. S. Cheung, Paul Kai-on Chow, T. Y. Cheung. 173-184
- Tha Dangers of InheritanceJohn English. 185-195
- CCO-Mars 96 Integration HOOD, Ada and XInAda in a full Ada Operational Software ProjectPhilippe Pichon. 196-208
- Code-Data Consistency in AdaVincent Celier, Drasko M. Sotirovski, Christopher J. Thompson. 209-217
- Supporting Ada 95 Passive Partitions in a Distributed EnvironmentFrank Mueller. 218-229
- An Ada Library to Program Fault-Tolerant Distributed ApplicationsFrancisco Guerra Santana, Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo. 230-243
- T-SMART - Task-Safe, Minimal Ada Realtime ToolsetBrian Dobbing, Marc Richard-Foy. 244-253
- On Programming Atomic Actions in Ada 95Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings. 254-265
- Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARKJ. Phil Thornley. 266-277
- Techniques for Testing Ada 95S. R. Waterman. 278-291