Reliable Software Technologies -- Ada-Europe 2006
Editat de Luís Miguel Pinho, Michael González Harbouren Limba Engleză Paperback – 26 mai 2006
Preț: 320.14 lei
Preț vechi: 400.17 lei
-20%
Puncte Express: 480
Carte tipărită la comandă
Livrare economică 17-31 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.