Reliable Software Technologies - Ada-Europe '98 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings
This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the progra...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Embedded opportunities
- Ada+B the formula for safety critical software development
- Porting the GNAT tasking runtime system to the Java virtual machine
- Automating the Ada binding process for Java — How far can we go?
- Synchronizing multiple clients and servers
- How to avoid the inheritance anomaly in Ada
- Inside the distributed systems annex
- Integrating groups and transactions: A fault-tolerant extension of Ada
- Implementing and using execution time clocks in Ada hard real-time applications
- Programming hard real-time systems with optional components in Ada
- Object oriented abstractions for real-time distributed systems
- (Astro)physical supercomputing: Ada95 as a safe, object oriented alternative
- Ada 95 for a distributed simulation system
- PINROB: A portable API for industrial robots
- Quality-for-ASIS: A portable testing facility for ASIS
- Ten years of tool based Ada compiler validations an experience report
- A two-level matching mechanism for object-oriented class libraries
- Modern Avionics requirements for the Distributed Systems Annex
- A case study in quantitative evaluation of real-time software architectures
- Building modular communication systems in Ada: The Simple-Com approach
- Symbolic reaching definitions analysis of Ada programs
- Looking at code with your safety goggles on
- The Ravenscar tasking profile for high integrity real-time programs
- Guidance on the use of Ada95 in high integrity systems
- Ada in the JAS 39 Gripen flight control system