Reliable software technology Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York,...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | Inglés |
| Published: |
Berlin ; New York :
Springer
c2005.
|
| Edition: | 1st ed. 2005. |
| Series: | Lecture notes in computer science ;
3555. |
| Subjects: | |
| See on Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714036306719 |
Table of Contents:
- Applications
- Design and scheduling issues
- Formal methods
- Ada and education
- Certification and verification
- Distributed systems
- Language issues
- Ravenscar technology.
