| |
| |
| Programming the Internet in Ada 95 | |
| |
| |
| |
| Reliability Modeling for Safety Critical Software | |
| |
| |
| |
| Fault-Tolerance by Replication in Distributed Systems | |
| |
| |
| |
| Ada 95: An Effective Concurrent Programming Language | |
| |
| |
| |
| Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries | |
| |
| |
| |
| An Approach to Increasing Software Component Reusability in Ada | |
| |
| |
| |
| Iterative Software Development for Large Ada Programs | |
| |
| |
| |
| HCSD Unit Development Process: Step-Wise Process Improvement | |
| |
| |
| |
| Testing Ada 95 Programs for Conformance to Rapide Architectures | |
| |
| |
| |
| Tasking Deadlocks in Ada 95 Programs and Their Detection | |
| |
| |
| |
| On Some Characterisation Problems of Subdomain Testing | |
| |
| |
| |
| A Framework for Testing Object-Oriented Software Using Formal Specifications | |
| |
| |
| |
| Ada 95 and Critical Systems: An Analytical Approach | |
| |
| |
| |
| Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment | |
| |
| |
| |
| Secure Communication in Distributed Ada | |
| |
| |
| |
| Using Object-Oriented Methods in Ada 95 to Implement Linda | |
| |
| |
| |
| Shared Packages Through Linda | |
| |
| |
| |
| Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications | |
| |
| |
| |
| The Dining Philosophers in Ada 95 | |
| |
| |
| |
| Using Ada 95 for Prototyping Real-Time Systems | |
| |
| |
| |
| The GNARL Implementation of POSIX/Ada Signal Services | |
| |
| |
| |
| Implementing Protected Types on Embedded Targets | |
| |
| |
| |
| ASIS for GNAT: From the Prototype to the Full Implementation | |
| |
| |
| |
| Handling Irregular Grammars in Ada | |
| |
| |
| |
| Interprocedural Call Optimization | |
| |
| |
| |
| Augmenting Ada 95 with Additional Real-Time Features | |
| |
| |
| |
| Beyond Ada 95: The Addition of Persistence and Its Consequences | |
| |
| |
| |
| Extending the Object-Orientedness of Ada 95 | |
| |
| |
| |
| An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming | |
| |
| |
| |
| Where Does GOTO Go to? | |
| |
| |
| |
| Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 | |
| |
| |
| |
| An Ada 95 Harness for Converting Legacy Fortran Applications | |
| |
| |
| |
| The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 | |
| |
| |
| |
| Converting the Part Task Nautical Simulator to Ada 95 | |
| |
| |
| |
| Visibility Control and Migration of Interfaces in Large Ada Systems | |
| |
| |
| |
| Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! | |
| |
| |
| |
| Experiences Applying a Practical Architectural Method | |
| |
| |
| |
| A Decade of Development and Deployment of Distributed Ada Systems | |
| |
| |
| |
| Planning the Transition to Ada 95 for a Large Real-Time Project | |
| |
| |
| |
| Author Index | |