Reliable Software Technologies — Ada-Europe 2002

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Embedded Systems Unsuitable for Object Orientation
3. Altmetric Badge
   Chapter 2 On Architectural Stability and Evolution
4. Altmetric Badge
   Chapter 3 Encapsulating Failure Detection: From Crash to Byzantine Failures
5. Altmetric Badge
   Chapter 4 Contextware: Bridging Physical and Virtual Worlds
6. Altmetric Badge
   Chapter 5 Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors
7. Altmetric Badge
   Chapter 6 OMC-INTEGRAL Memory Management
8. Altmetric Badge
   Chapter 7 Language Issues of Compiling Ada to Hardware
9. Altmetric Badge
   Chapter 8 Software Development Reengineering — An Experience Report
10. Altmetric Badge
    Chapter 9 Development of a Control System for Teleoperated Robots Using UML and Ada95
11. Altmetric Badge
    Chapter 10 Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications
12. Altmetric Badge
    Chapter 11 A POSIX-Ada Interface for Application-Defined Scheduling
13. Altmetric Badge
    Chapter 12 Closing the Loop: The Influence of Code Analysis on Design
14. Altmetric Badge
    Chapter 13 High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
15. Altmetric Badge
    Chapter 14 How to Use GNAT to Efficiently Preprocess New Ada Sentences
16. Altmetric Badge
    Chapter 15 Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada
17. Altmetric Badge
    Chapter 16 Adding Design by Contract to the Ada Language
18. Altmetric Badge
    Chapter 17 Static Dependency Analysis for Concurrent Ada 95 Programs
19. Altmetric Badge
    Chapter 18 DataFAN: A Practical Approach to Data Flow Analysis for Ada 95
20. Altmetric Badge
    Chapter 19 Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
21. Altmetric Badge
    Chapter 20 About the Difficulties of Building a Pretty-Printer for Ada
22. Altmetric Badge
    Chapter 21 A Tailorable Distributed Programming Environment
23. Altmetric Badge
    Chapter 22 Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
24. Altmetric Badge
    Chapter 23 Transparent Environment for Replicated Ravenscar Applications
25. Altmetric Badge
    Chapter 24 Concurrency Control in Transactional Drago
26. Altmetric Badge
    Chapter 25 An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
27. Altmetric Badge
    Chapter 26 GNAT Ada Database Development Environment
28. Altmetric Badge
    Chapter 27 Ada, Interfaces and the Listener Paradigm
29. Altmetric Badge
    Chapter 28 Using Object Orientation in High Integrity Applications: A Case Study