Logo - springer
Slogan - springer

Computer Science - Information Systems and Applications | Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on

Reliable Software Technologies - Ada-Europe 2007

12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Abdennahder, Nabil, Kordon, Fabrice (Eds.)

2007, XIV, 247 p. Also available online.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-540-73230-3

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-540-73229-7

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

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.

Content Level » Research

Keywords » Ada - Ada programming - Ada programming language - Compiler - Multitasking - architecture - concurrency modeling - dependable computing - distributed systems - embedded systems - formal methods - modeling - real-time - robot - robotics

Related subjects » Communication Networks - Information Systems and Applications - Software Engineering

Table of contents 

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.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Computer Applications.