Overview

Full Product Details

Author:   Michael Butler ,  Cliff B. Jones ,  Alexander Romanovsky ,  Elena Troubitsyna
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2009 ed.
Volume:   5454
Dimensions:   Width: 15.50cm , Height: 2.30cm , Length: 23.50cm
Weight:   0.539kg
ISBN:  

9783642008665

ISBN 10:   3642008666
Pages:   343
Publication Date:   26 March 2009
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Formal Reasoning about Fault Tolerant Systems and Protocols.- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.- Temporal Verification of Fault-Tolerant Protocols.- Design and Verification of Fault-Tolerant Components.- Dynamically Detecting Faults via Integrity Constraints.- Fault Tolerance: Modelling in B.- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.- Model-Based Testing Using Scenarios and Event-B Refinements.- Fault Tolerance in System Development Process.- Recording Process Documentation in the Presence of Failures.- DREP: A Requirements Engineering Process for Dependable Reactive Systems.- Documenting the Progress of the System Development.- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.- Fault Tolerant Applications.- Step-Wise Development of Resilient Ambient Campus Scenarios.- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions