Reliable software technologies Ada-Europe : 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...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1411 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Reliable software technologies--Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, proceedings, Lars Asplund, ed, 1998, Berlin, Springer, 1 vol. (XI-296 p.), Lecture notes in computer science, 3-540-64536-5 • Reliable Software Technologies - Ada-Europe '98, Texte imprimé, 9783662208106 |
Table des matières:
- 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.