Ada-Europe 1996: Montreux, Switzerland
- Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Lecture Notes in Computer Science 1088, Springer 1996, ISBN 3-540-61317-X
Invited Papers
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
Verification and Validation
- 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
- 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
- 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
Compilers and Tools
- Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov:
ASIS for GNAT: From the Prototype to the Full Implementation. 298-311
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 - Patrick de Bondeli:
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming. 370-384
Interfacing with Other Worlds
- Thierry Millan, Pierre Bazex:
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83. 396-412
Experience Reports
- Chad Bremmon:
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95. 427-438 - 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 - Roland Feith, Michael Tonndorf:
Planning the Transition to Ada 95 for a Large Real-Time Project. 500-511