Ada-Europe 1996: Montreux, Switzerland
Alfred Strohmeier (Ed.): Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61317-X
Invited Papers
- S. Tucker Taft: Programming the Internet in Ada 95. 1-16
- Norman F. Schneidewind: Reliability Modeling for Safety Critical Software. 17-37
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
- Neel Madhav: Testing Ada 95 Programs for Conformance to Rapide Architectures. 123-134
- 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
- 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
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
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team