Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings / edited by Luís Miguel Pinho, Michael González Harbour.

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Pinho, Luís Miguel (Editor), González Harbour, Michael (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Programming and Software Engineering ; 4006
Springer eBook Collection.
Subjects:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer communication systems.
Special purpose computers.
Management information systems.
Computer science.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Real-Time Systems
  • Hierarchical Scheduling with Ada 2005
  • A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
  • POSIX Trace Based Behavioural Reflection
  • Static Analysis
  • Static Detection of Access Anomalies in Ada95
  • One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
  • Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering
  • Verification
  • SPARK Annotations Within Executable UML
  • Runtime Verification of Java Programs for Scenario-Based Specifications
  • Applications
  • Secure Execution of Computations in Untrusted Hosts
  • A Systematic Approach to Developing Safe Tele-operated Robots
  • Towards Developing Multi-agent Systems in Ada
  • Reliability
  • A Software Reliability Model Based on a Geometric Sequence of Failure Rates
  • Adaptive Random Testing Through Iterative Partitioning
  • Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
  • Compilers
  • Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
  • Using Mathematics to Improve Ada Compiled Code
  • Distributed Systems
  • Replication-Aware Transactions: How to Roll a Transaction over Failures
  • The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
  • Interchangeable Scheduling Policies in Real-Time Middleware for Distribution.

Similar Items