default search action
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
- 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 - Javier Miranda, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.