Ada-Europe 1997: London, UK

@proceedings{DBLP:conf/adaEurope/1997,
  editor    = {Keith Hardy and
               James S. Briggs},
  title     = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe
               International Conference on Reliable Software Technologies, London,
               UK, June  2-6, 1997, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1251},
  year      = {1997},
  isbn      = {3-540-63114-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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