Minecraft Adventures B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

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

Visit our stores


    Recently Viewed clear list


    Interviews | August 12, 2015

    Jill Owens: IMG Eli Gottlieb: The Powells.com Interview



    Eli GottliebEli Gottlieb has done something unusual — he's written two novels, 20 years apart, from opposing but connected perspectives. The Boy Who Went... Continue »
    1. $17.47 Sale Hardcover add to wish list

      Best Boy

      Eli Gottlieb 9781631490477

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Rigorous Development of Complex Fault-Tolerant Systems

by

Rigorous Development of Complex Fault-Tolerant Systems Cover

 

Synopses & Reviews

Publisher Comments:

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. 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. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.

Product Details

ISBN:
3330000237529
Publisher:
Springer
Subject:
Computer software
Subject:
Electronic digital computers
Subject:
Networking - General
Subject:
Software Development & Engineering - General
Subject:
Programming Languages - General
Subject:
Agent-Oriented Software Engineering
Subject:
concurrent systems
Subject:
Dependability
Subject:
Distributed systems
Subject:
error handling
Subject:
exception handling
Subject:
exception management
Subject:
fault handling
Subject:
Fault tolerance
Subject:
Formal methods
Subject:
Language Design
Subject:
mobile systems
Subject:
multi-agent systems
Subject:
Object-oriented programming
Subject:
Pervasive computing
Subject:
software verificiation
Subject:
System design
Subject:
Computer Communication Networks
Subject:
Programming techniques
Subject:
Software engineering
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Operating systems
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
main_subject
Subject:
all_subjects
Edition Description:
Printbegrænsninger: Der kan printes kapitelvis.
Publication Date:
2006
Binding:
ELECTRONIC
Language:
English
Pages:
402
Age Level:
Agent-Oriented Software Engineering

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computer Architecture » General
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Quality Assurance and Testing
Computers and Internet » Software Engineering » Systems Analysis and Design

Rigorous Development of Complex Fault-Tolerant Systems
0 stars - 0 reviews
$ In Stock
Product details 402 pages Springer - English 3330000237529 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.