Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1845 |
| Matèries: | |
| Accés en línia: | 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 2000, 5th Ada-Europe International Conference on Reliable Software Technologies, Potsdam, Germany, June 26-30 2000, proceedings, Hubert B. Keller, Erhard Plödereder, New York, Springer, 2000, 1 vol. (XIII-304 p.), Lecture notes in computer science, 3-540-67669-4 • Reliable Software Technologies Ada-Europe 2000, Texte imprimé, 9783662167397 |
Taula de continguts:
- Invited Presentations
- Support of Technology Development in the Information Society
- Kingcat MCAS Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java
- Ada after 10 Years of Usage Is There a Commercial Future?
- An Open Ravenscar Real-Time Kernel for GNAT
- Real-Time and Safety-Critical Systems
- Object-Oriented Programming and Protected Objects in Ada 95
- Is an Ada Lint Necessary?
- Session: Tools
- Using JavaTM APIs with Native Ada Compilers
- Static Worst-Case Execution Time Analysis of Synchronous Programs
- A Supporting Tool for Development of Self-Measurement Ada Programs
- Session: APIs and Components
- On Persistent and Reliable Streaming in Ada
- Reengineering the Booch Component Library
- GtkAda: Design and Implementation of a High Level Binding in Ada
- Session: ASIS
- ASIS-for-GNAT: A Report of Practical Experiences
- Generation of Interface Design Description Documents Using ASIS
- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
- Session: Risk and Reliability Management
- Enhancements in Software Project Risk Management
- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis
- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction
- Session: UML
- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95
- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project
- Session: Formal Analysis Methods
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
- Exceptions in OO Languages: Using Them and Reasoning about Them
- (True) Polymorphism in SPARK2000
- Session: Testing
- Improving the Reliability of Object-Oriented Software through Object-Level BehavioralSimulation
- Results of an Investigation into Software Integration Testing Automation
- On the Minimal Essential Subsets and Minimal Representative Sets.