Ada-Europe 1996: Montreux, Switzerland

Invited Papers

• S. Tucker Taft:
  Programming the Internet in Ada 95. 1-16
  
• Norman F. Schneidewind:
  Reliability Modeling for Safety Critical Software. 17-37
  
• Rachid Guerraoui, André Schiper:
  Fault-Tolerance by Replication in Distributed Systems. 38-57
  
• Alan Burns, Andy J. Wellings:
  Ada 95: An Effective Concurrent Programming Language. 58-77
  

Software Development Methods

• Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez:
  Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries. 78-88
  
• Hyoseob Kim, Cornelia Boldyreff:
  An Approach to Increasing Software Component Reusability in Ada. 89-100
  
• Philippe Kruchten, Christopher J. Thompson:
  Iterative Software Development for Large Ada Programs. 101-110
  
• David E. Emery, Jas Madhur:
  HCSD Unit Development Process: Step-Wise Process Improvement. 111-122
  

Verification and Validation

• Neel Madhav:
  Testing Ada 95 Programs for Conformance to Rapide Architectures. 123-134
  
• Jingde Cheng, Kazuo Ushijima:
  Tasking Deadlocks in Ada 95 Programs and Their Detection. 135-146
  
• Tsong Yueh Chen, Yuen-Tak Yu:
  On Some Characterisation Problems of Subdomain Testing. 147-158
  
• Rohan Fletcher, A. S. M. Sajeev:
  A Framework for Testing Object-Oriented Software Using Formal Specifications. 159-170
  

Safety & Security

• Dan Craigen, Mark Saaltink, Steve Michell:
  Ada 95 and Critical Systems: An Analytical Approach. 171-182
  
• Alfred Rosskopf:
  Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. 183-197
  

Distributed Systems

• Jörg Kienzle, Thomas Wolf, Alfred Strohmeier:
  Secure Communication in Distributed Ada. 198-210
  
• Kristina Lundqvist, Göran Wall:
  Using Object-Oriented Methods in Ada 95 to Implement Linda. 211-222
  
• Göran Wall, Kristina Lundqvist:
  Shared Packages Through Linda. 223-234
  
• Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana:
  Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. 235-246
  

Real-Time Systems

• Benjamin M. Brosgol:
  The Dining Philosophers in Ada 95. 247-261
  
• Jorge Real, Agustín Espinosa, Alfons Crespo:
  Using Ada 95 for Prototyping Real-Time Systems. 262-274
  
• Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon:
  The GNARL Implementation of POSIX/Ada Signal Services. 275-286
  
• David Mundie, John Fardo, Ed Kuzemchak:
  Implementing Protected Types on Embedded Targets. 287-297
  

Compilers and Tools

• Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov:
  ASIS for GNAT: From the Prototype to the Full Implementation. 298-311
  
• Drasko M. Sotirovski, Philippe Kruchten:
  Handling Irregular Grammars in Ada. 312-318
  
• Tim Birus, Christine Cipriani, Dean Sutherland:
  Interprocedural Call Optimization. 319-329
  

The Ada 95 Programming Language

• Johann Blieberger, Roland Lieger, Bernd Burgstaller:
  Augmenting Ada 95 with Additional Real-Time Features. 330-341
  
• Michael Oudshoorn, Stephen Crawley:
  Beyond Ada 95: The Addition of Persistence and Its Consequences. 342-356
  
• Bernd Holzmüller:
  Extending the Object-Orientedness of Ada 95. 357-369
  
• Patrick de Bondeli:
  An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming. 370-384
  
• Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder:
  Where Does GOTO Go to? 385-395
  

Interfacing with Other Worlds

• Thierry Millan, Pierre Bazex:
  Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83. 396-412
  
• Bernd Gliss:
  An Ada 95 Harness for Converting Legacy Fortran Applications. 413-426
  

Experience Reports

• Chad Bremmon:
  The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95. 427-438
  
• Kor Molenmaker:
  Converting the Part Task Nautical Simulator to Ada 95. 439-450
  
• Vincent Celier:
  Visibility Control and Migration of Interfaces in Large Ada Systems. 451-459
  
• Philippe Waroquiers:
  Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! 460-470
  
• David E. Emery, Richard F. Hilliard II, Timothy B. Rice:
  Experiences Applying a Practical Architectural Method. 471-484
  
• John D. Smart:
  A Decade of Development and Development of Distributed Ada Systems. 485-499
  
• Roland Feith, Michael Tonndorf:
  Planning the Transition to Ada 95 for a Large Real-Time Project. 500-511