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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pinho, Luís Miguel (Editor ), González Harbour, Michael (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Programming and Software Engineering, 4006
Temas:
Software engineering.
Computer programming.
Compilers (Computer programs).
Computer networks .
Computers, Special purpose.
Electronic data processing-Management.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares