Reliable Software Technologies — Ada-Europe’ 99

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 An Architectural Perspective of Real-Time Ada Applications
3. Altmetric Badge
   Chapter 2 A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
4. Altmetric Badge
   Chapter 3 An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
5. Altmetric Badge
   Chapter 4 Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
6. Altmetric Badge
   Chapter 5 An Ada95 Solution for Certification of Embedded Safety Critical Applications
7. Altmetric Badge
   Chapter 6 Architectural Frameworks: Defining the Contents of Architectural Descriptions
8. Altmetric Badge
   Chapter 7 Mapping Object-Oriented Designs to Ada
9. Altmetric Badge
   Chapter 8 Efficient and Extensible Multithreaded Remote Servers?
10. Altmetric Badge
    Chapter 9 Report on the VERA Experiment
11. Altmetric Badge
    Chapter 10 Acceptance Testing of Object Oriented Systems
12. Altmetric Badge
    Chapter 11 Environment for the Development and Specification of Real-Time Ada Programs
13. Altmetric Badge
    Chapter 12 Interprocedural Symbolic Evaluation of Ada Programs with Aliases
14. Altmetric Badge
    Chapter 13 Automatic Veri.cation of Concurrent Ada Programs
15. Altmetric Badge
    Chapter 14 Translating Time Petri Net Structures in Ada 95 Statements
16. Altmetric Badge
    Chapter 15 Railway Scale Model Simulator
17. Altmetric Badge
    Chapter 16 Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
18. Altmetric Badge
    Chapter 17 yaRTI, a Ada 95 HLA Run-Time Infrastructure
19. Altmetric Badge
    Chapter 18 An Ada95 Implementation of a Network Coordination Language with Code Mobility
20. Altmetric Badge
    Chapter 19 CORBA & DSA: Divorce or Marriage?
21. Altmetric Badge
    Chapter 20 How to Modify the GNAT Frontend to Experiment with Ada Extensions?
22. Altmetric Badge
    Chapter 21 On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System
23. Altmetric Badge
    Chapter 22 An Application (Layer 7) Routing Switch with Ada95 Software
24. Altmetric Badge
    Chapter 23 Ada Binding to a Shared Object Layer
25. Altmetric Badge
    Chapter 24 The Ceiling Protocol in Multi-moded Real-Time Systems1
26. Altmetric Badge
    Chapter 25 A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel
27. Altmetric Badge
    Chapter 26 Implementing a New Low-Level Tasking Support for the GNAT Runtime System?
28. Altmetric Badge
    Chapter 27 MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines
29. Altmetric Badge
    Chapter 28 An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence
30. Altmetric Badge
    Chapter 29 Browsing a Component Library Using Non-functional Information
31. Altmetric Badge
    Chapter 30 Hw/Sw Codesign of Embedded Systems
32. Altmetric Badge
    Chapter 31 Hardware/Software Embedded System Specification and Design Using Ada and VHDL1
33. Altmetric Badge
    Chapter 32 System on Chip Specification and Design Languages Standardization
34. Altmetric Badge
    Chapter 33 An Incremental Recovery Cache Supporting Software Fault Tolerance
35. Altmetric Badge
    Chapter 34 Shared Recoverable Objects
36. Altmetric Badge
    Chapter 35 Fault Tolerance by Transparent Replication for Distributed Ada 95
37. Altmetric Badge
    Chapter 36 A Case Study in the Reuse of On-Board Embedded Real-Time Software
38. Altmetric Badge
    Chapter 37 Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches