Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings
The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuve...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2043 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 2001, 6th Ada-Europe International Conference, Leuven, Belgium 2001, proceedings, Alfred Strohmeier, Dirk Craeynest (eds.), 2001, New York, Springer, 1 vol. (XV-404 p.), Lecture notes in computer science, 3-540-42123-8 • Reliable Software Technologies - Ada-Europe 2001, Texte imprimé, 9783662163986 |
Indholdsfortegnelse:
- Invited Papers
- Building Formal Requirements Models for Reliable Software
- Using Ada in Interactive Digital Television Systems
- Testing from Formal Specifications, a Generic Approach
- Logic versus Magic in Critical Systems
- Can Java Meet Its Real-Time Deadlines?
- Program Analysis
- Parameter-Induced Aliasing in Ada
- Slicing Tagged Objects in Ada
- OASIS An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
- Distributed Systems
- Building Modern Distributed Systems
- Reliable Communication in Distributed Computer-Controlled Systems
- Building Robust Applications by Reusing Non-robust Legacy Software
- Real-Time Systems
- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
- Complex Task Implementation in Ada
- Implementing a Flexible Scheduler in Ada
- Language and Patterns
- Expression Templates in Ada
- A Design Pattern for State Machines and Concurrent Activities
- Component Libraries and Language Features
- Dependable Systems
- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
- Scenario-Based System Assessment
- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
- APIs and Components
- JEWL: A GUI Library for Educational Use
- Object-Oriented Stable Storage Based on Mirroring
- Transaction Support for Ada
- Real-Time Kernels
- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
- Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels
- Defining New Non-preemptive Dispatching and Locking Policies for Ada
- Standard Formats: UML & XML
- Modelling Communication Interfaces with ComiX
- Safe Web Forms and XML Processing with Ada
- Mapping UML to Ada
- System Evolution
- Ship System 2000, a Stable Architecture underContinuous Evolution
- Migrating Large Applications from Ada83 to Ada95
- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.