Reliable Software Technologies - Ada Europe 96

Programming the Internet in Ada 95.- Reliability modeling for safety critical software.- Fault-tolerance by replication in distributed systems.- Ada95: 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.- Ada95 and critical systems: An analytical approach.- Use of a static analysis tool for safety-critical Ada applications.- 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 Ada95 with additional real-time features.- Beyond Ada95: 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 Ada95 harness for converting legacy Fortran applications.- The funds management modernization: Experiences with developing an object oriented, client-server management information system in Ada95.- Converting the part task nautical simulator to Ada95.- Visibility