Reliable Software Technologies -- Ada-Europe 2006
Editat de Luís Miguel Pinho, Michael González Harbouren Limba Engleză Paperback – 26 mai 2006
Preț: 319.15 lei
Preț vechi: 398.93 lei
-20% Nou
Puncte Express: 479
Preț estimativ în valută:
56.48€ • 66.22$ • 49.60£
56.48€ • 66.22$ • 49.60£
Carte tipărită la comandă
Livrare economică 14-28 februarie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540346630
ISBN-10: 3540346635
Pagini: 260
Ilustrații: XII, 244 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.4 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540346635
Pagini: 260
Ilustrații: XII, 244 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.4 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.