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...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
2043 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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 |
| LEADER | 06142nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 949159 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155217135 | ||
| 020 | |a 9783540451365 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Ada-Europe International Conference on Reliable Software Technologies |n (06 |d :2001 |c :Leuven, Belgique). | |
| 245 | 1 | 0 | |a Reliable software technologies - Ada-Europe 2001 : |b 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings |c [edited by] Dirk Craeynest, Alfred Strohmeier. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2043 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Ada (langage de programmation) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Strohmeier, Alfred, |d 1946- |4 pbd | |
| 700 | 1 | |a Craeynest, Dirk, |d 1957- |4 pbd | |
| 776 | 0 | |0 056221428 |t Reliable software technologies |o Ada-Europe 2001 |o 6th Ada-Europe International Conference, Leuven, Belgium 2001 |o proceedings |f Alfred Strohmeier, Dirk Craeynest (eds.) |d 2001 |c New York |n Springer |p 1 vol. (XV-404 p.) |s Lecture notes in computer science |z 3-540-42123-8 | |
| 776 | 0 | |t Reliable Software Technologies - Ada-Europe 2001 |b Texte imprimé |z 9783662163986 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45136-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-3K7MXH98-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060715 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45136-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512257 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45136-6 |z Accès INSA CVL | |
| 997 | |0 949159 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||