Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14 18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Coauteur: | |
| Andere auteurs: | |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
3063 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
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 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, proceedings, Albert Llamosí, Alfred Strohmeier (eds.), Berlin, Springer, 2004, 1 vol. (XIII-331 p.), Lecture notes in computer science, 3-540-22011-9 • Reliable Software Technologies - Ada-Europe 2004, Texte imprimé, 9783662177587 |
Inhoudsopgave:
- Invited Papers
- Benefits and Problems of Formal Methods
- On the Role of Conceptual Schemas in Information Systems Development
- An Overview of Middleware
- Static Analysis
- Static Deadlock Detection in the Linux Kernel
- Extracting Ada 95 Objects from Legacy Ada Programs
- On the Tree Width of Ada Programs
- Distributed Systems
- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
- Real-Time Systems
- Implementing Execution-Time Clocks for the Ada Ravenscar Profile
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
- Supporting Deadlines and EDF Scheduling in Ada
- Reflection and XML
- OpenAda: Compile-Time Reflection for Ada 95
- XML4Ada95 Accessing XML Using the DOM in Ada95
- Testing
- A Randomised Test Approach to Testing Safety Critical Ada Code
- Good Random Testing
- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
- Critical Systems Modeling
- High Integrity Ada in a UML and C World
- Ada Meets Giotto
- High-Integrity Interfacing to Programmable Logic with Ada
- Scheduling
- Dynamic Ceiling Priorities: A Proposal for Ada0Y
- Mixing Scheduling Policies in Ada
- Implementing an Application-Defined Scheduling Framework for Ada Tasking
- Application Programming Interfaces
- A Theory of Persistent Containers and Its Application to Ada
- Shortcuts: A Critical Look
- Vector Processing in Ada.