Ada-Europe 1996: Montreux, Switzerland

@proceedings{DBLP:conf/adaEurope/1996,
  editor    = {Alfred Strohmeier},
  title     = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe
               International Conference on Reliable Software Technologies, Montreux,
               Switzerland, June 10-14, 1996, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1088},
  year      = {1996},
  isbn      = {3-540-61317-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

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

Software Development Methods

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

Verification and Validation

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

Safety & Security

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

Distributed Systems

• Jörg Kienzle, Thomas Wolf, Alfred Strohmeier: Secure Communication in Distributed Ada. 198-210 BibTeX
• Kristina Lundqvist, Göran Wall: Using Object-Oriented Methods in Ada 95 to Implement Linda. 211-222 BibTeX
• Göran Wall, Kristina Lundqvist: Shared Packages Through Linda. 223-234 BibTeX
• 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 BibTeX

Real-Time Systems

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

Compilers and Tools

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

The Ada 95 Programming Language

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

Interfacing with Other Worlds

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

Experience Reports

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