Ada-Europe 1997: London, UK

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