Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Rosen, Jean-Pierre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Strohmeier, Alfred (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2655
• Θέματα: Engineering.; Software engineering.; Computer communication systems.; Special purpose computers.; Computer programming.; Engineering, general.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Programming Techniques.

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...

Πίνακας περιεχομένων:

• 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 Restricted Random 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.