Abstract is missing.
- Programming the Internet in Ada 95S. Tucker Taft. 1-16
- Reliability Modeling for Safety Critical SoftwareNorman F. Schneidewind. 17-37
- Fault-Tolerance by Replication in Distributed SystemsRachid Guerraoui, André Schiper. 38-57
- Ada 95: An Effective Concurrent Programming LanguageAlan Burns, Andy J. Wellings. 58-77
- Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical LibrariesJuan Antonio de la Puente, Alejandro Alonso, Angel Alvarez. 78-88
- An Approach to Increasing Software Component Reusability in AdaHyoseob Kim, Cornelia Boldyreff. 89-100
- Iterative Software Development for Large Ada ProgramsPhilippe Kruchten, Christopher J. Thompson. 101-110
- HCSD Unit Development Process: Step-Wise Process ImprovementDavid E. Emery, Jas Madhur. 111-122
- Testing Ada 95 Programs for Conformance to Rapide ArchitecturesNeel Madhav. 123-134
- Tasking Deadlocks in Ada 95 Programs and Their DetectionJingde Cheng, Kazuo Ushijima. 135-146
- On Some Characterisation Problems of Subdomain TestingTsong Yueh Chen, Yuen-Tak Yu. 147-158
- A Framework for Testing Object-Oriented Software Using Formal SpecificationsRohan Fletcher, A. S. M. Sajeev. 159-170
- Ada 95 and Critical Systems: An Analytical ApproachDan Craigen, Mark Saaltink, Steve Michell. 171-182
- Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical AssessmentAlfred Rosskopf. 183-197
- Secure Communication in Distributed AdaJörg Kienzle, Thomas Wolf, Alfred Strohmeier. 198-210
- Using Object-Oriented Methods in Ada 95 to Implement LindaKristina Lundqvist, Göran Wall. 211-222
- Shared Packages Through LindaGöran Wall, Kristina Lundqvist. 223-234
- Drago: An Ada Extension to Program Fault-Tolerant Distributed ApplicationsFrancisco Javier Miranda González, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana. 235-246
- The Dining Philosophers in Ada 95Benjamin M. Brosgol. 247-261
- Using Ada 95 for Prototyping Real-Time SystemsJorge Real, Agustín Espinosa, Alfons Crespo. 262-274
- The GNARL Implementation of POSIX/Ada Signal ServicesDong-Ik Oh, Theodore P. Baker, Seung-Jin Moon. 275-286
- Implementing Protected Types on Embedded TargetsDavid Mundie, John Fardo, Ed Kuzemchak. 287-297
- ASIS for GNAT: From the Prototype to the Full ImplementationSergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasiliy Fofanov. 298-311
- Handling Irregular Grammars in AdaDrasko M. Sotirovski, Philippe Kruchten. 312-318
- Interprocedural Call OptimizationTim Birus, Christine Cipriani, Dean Sutherland. 319-329
- Augmenting Ada 95 with Additional Real-Time FeaturesJohann Blieberger, Roland Lieger, Bernd Burgstaller. 330-341
- Beyond Ada 95: The Addition of Persistence and Its ConsequencesMichael Oudshoorn, Stephen Crawley. 342-356
- Extending the Object-Orientedness of Ada 95Bernd Holzmüller. 357-369
- An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented ProgrammingPatrick de Bondeli. 370-384
- Where Does GOTO Go to?Wolfgang Gellerich, Markus Kosiol, Erhard Plödereder. 385-395
- Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83Thierry Millan, Pierre Bazex. 396-412
- An Ada 95 Harness for Converting Legacy Fortran ApplicationsBernd Gliss. 413-426
- The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95Chad Bremmon. 427-438
- Converting the Part Task Nautical Simulator to Ada 95Kor Molenmaker. 439-450
- Visibility Control and Migration of Interfaces in Large Ada SystemsVincent Celier. 451-459
- Ada Tasking and Dynamic Memory: To Use or Not To Use, That s a Question!Philippe Waroquiers. 460-470
- Experiences Applying a Practical Architectural MethodDavid E. Emery, Richard F. Hilliard II, Timothy B. Rice. 471-484
- A Decade of Development and Development of Distributed Ada SystemsJohn D. Smart. 485-499
- Planning the Transition to Ada 95 for a Large Real-Time ProjectRoland Feith, Michael Tonndorf. 500-511