Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | November 29, 2014

    Neil Patrick Harris: IMG Neil Patrick Harris: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer

On Order

$108.50
New Trade Paper
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Software Engineering- Programming and Languages

Other titles in the Lecture Notes in Computer Science / Programming and Software series:

Lecture Notes in Computer Science / Programming and Software #5454: Methods, Models and Tools for Fault Tolerance

by

Lecture Notes in Computer Science / Programming and Software #5454: Methods, Models and Tools for Fault Tolerance Cover

 

Synopses & Reviews

Publisher Comments:

The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.

Product Details

ISBN:
9783642008665
Author:
Butler, Michael
Publisher:
Springer
Author:
Jones, Cliff B.
Author:
Romanovsky, Alexander
Author:
Troubitsyna, Elena
Subject:
Programming - General
Subject:
Networking - General
Subject:
Software Development & Engineering - General
Subject:
Software Engineering - Programming and Languages
Subject:
B method
Subject:
UML
Subject:
Abstraction
Subject:
action systems
Subject:
communicating systems
Subject:
Complexity
Subject:
deontic logics
Subject:
Dependability
Subject:
Distributed systems
Subject:
error handling
Subject:
event-B
Subject:
exception management
Subject:
Fault Detection
Subject:
fault handling
Subject:
Fault tolerance
Subject:
Formal Development
Subject:
Formal methods
Subject:
formal specification
Subject:
formal verification
Subject:
Graphical modeling
Subject:
integrated approaches
Subject:
Language Design
Subject:
model checking
Subject:
multi-agent systems
Subject:
progress diagram
Subject:
Real-time embedded systems
Subject:
Refinement
Subject:
Simulation
Subject:
Software Design.
Subject:
software verification
Subject:
state machines
Subject:
System design
Subject:
wireless networks
Subject:
Programming techniques
Subject:
Software engineering
Subject:
Computer Communication Networks
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Operating systems
Subject:
Artificial Intelligence (incl. Robotics)
Edition Description:
Book
Series:
Lecture Notes in Computer Science / Programming and Software Engineering
Series Volume:
5454
Publication Date:
20090331
Binding:
TRADE PAPER
Language:
English
Pages:
351
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Networking » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Chemistry » Physical Chemistry

Lecture Notes in Computer Science / Programming and Software #5454: Methods, Models and Tools for Fault Tolerance New Trade Paper
0 stars - 0 reviews
$108.50 Backorder
Product details 351 pages Springer - English 9783642008665 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.