Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings
The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18 20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT an...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
2655 |
| Materias: | |
| Acceso en línea: | 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 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, proceedings, Jean-Pierre Rosen, Alfred Strohmeier (eds.), Berlin, Springer, 2003, 1 vol. (XIII-428 p.), Lecture notes in computer science, 3-540-40376-0 • Reliable Software Technologies -- Ada-Europe 2003, Texte imprimé, 9783662180921 |
Tabla de Contenidos:
- Invited Papers
- An Invitation to Ada 2005
- Modules for Crosscutting Models
- Software Fault Tolerance: An Overview
- Ravenscar
- High Integrity Ravenscar
- Adding Temporal Annotations and Associated Verification to the Ravenscar Profile
- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software
- Language Issues
- Booch s Ada vs. Liskov s Java: Two Approaches to Teaching Software Design
- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java
- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
- Static Analysis
- Busy Wait Analysis
- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
- Quasar: A New Tool for Concurrent Ada Programs Analysis
- Distributed Information Systems
- A Graphical Environment for GLADE
- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project
- Transactions and Groups as Generic Building Blocks for Software Fault Tolerance
- Metrics
- Getting System Metrics Using POSIX Tracing Services
- Some Architectural Features of Ada Systems Affecting Defects
- Evidential Volume Approach for Certification
- Software Components
- A Survey of Physical Unit Handling Techniques in Ada
- Charles: A Data Structure Library for Ada95
- A Quality Model for the Ada Standard Container Library
- Formal Specification
- Experiences on Developing and Using a Tool Support for Formal Specification
- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
- Real-Time Kernel
- Running Ada on Real-Time Linux
- A Round Robin Scheduling Policy for Ada
- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
- Testing
- A Test Environment for High Integrity Software Development
- Normalized RestrictedRandom Testing
- Testing Safety Critical Ada Code Using Non Real Time Testing
- Real-time Systems Design
- The Standard UML-Ada Profile
- HRT-UML: Taking HRT-HOOD onto UML
- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST.