| |
| |
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 | |