Reliable Software Technologies – Ada Europe 2007 [electronic resource] :12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings / edited by Nabil Abdennadher, Fabrice Kordon.
by Abdennadher, Nabil [editor.]; Kordon, Fabrice [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 4498Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Description: XIV, 247 p. Also available online. online resource.ISBN: 9783540732303.Subject(s): Computer science | Computer Communication Networks | Software engineering | Information Systems | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Computer Communication Networks | Special Purpose and Application-Based Systems | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Real-Time Utilities for Ada 2005 -- Handling Temporal Faults in Ada 2005 -- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT -- Enhancing Dependability of Component-Based Systems -- On Detecting Double Literal Faults in Boolean Expressions -- Static Detection of Livelocks in Ada Multitasking Programs -- Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks -- An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers -- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis -- ArchMDE Approach for the Development of Embedded Real Time Systems -- Generating Distributed High Integrity Applications from Their Architectural Description -- Automatic Ada Code Generation Using a Model-Driven Engineering Approach -- Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar -- Modelling Remote Concurrency with Ada -- Design and Performance of a Generic Consensus Component for Critical Distributed Applications -- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research -- Incorporating Precise Garbage Collection in an Ada Compiler.
This book constitutes the refereed proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe 2007, held in Geneva, Switzerland, in June 2007. The 18 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers address all aspects of reliable software technologies, such as methods and techniques for software development and maintenance, software architectures, enabling technology, software quality, critical systems, distributed systems, as well as Ada language and technology.
There are no comments for this item.