BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Fundamentals Of Dependable Computing For Software Engineers

Fundamentals Of Dependable Computing For Software Engineers

Fundamentals Of Dependable Computing For Software Engineers
Stock photo: cover may vary

Fundamentals Of Dependable Computing For Software Engineers Paperback - 2012 - 1st Edition

by Knight, John,

Add to wish list
  • New
New

Description

new.
Ask the seller a question Add to wish list
A$124.89
A$5.85 Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Ships from GreatBookPrices (Maryland, United States)

Details

  • Title Fundamentals Of Dependable Computing For Software Engineers
  • Author Knight, John,
  • Binding Paperback
  • Edition number 1st
  • Edition 1
  • Condition New
  • Pages 440
  • Volumes 1
  • Language ENG
  • Publisher CRC Press
  • Publication date 2012-01-26
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # 13978204-n
  • ISBN 9781439862551 / 1439862559
  • Weight 1.34 lbs (0.61 kg)
  • Dimensions 9.42 x 5.87 x 0.91 in (23.93 x 14.91 x 2.31 cm)
  • Category Computers - Languages / Programming
  • Library of Congress subjects Computer software - Reliability, Fault-tolerant computing
  • Library of Congress Catalogue Number 2011046591
  • Dewey Decimal Code 004.2
  • Quantity available 5

About GreatBookPrices Maryland, United States

Biblio member since 2024

Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from GreatBookPrices

Reader reviews for Fundamentals Of Dependable Computing For Software Engineers

From the publisher

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability.

Readers will learn:

  • Why dependability matters
  • What it means for a system to be dependable
  • How to build a dependable software system
  • How to assess whether a software system is adequately dependable

The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature.

Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.

Media reviews

Citations

  • Reference and Research Bk News, 04/01/2012, Page 198

About the author

John Knight is a professor of computer science at the University of Virginia. Prior to joining the University of Virginia, he was with NASA's Langley Research Center. Dr. Knight has been a recipient of the Harlan D. Mills award from the IEEE Computer Society and the Distinguished Service award from ACM's Special Interest Group on Software Engineering (SIGSOFT). He is an editorial board member of the Empirical Software Engineering Journal and was editor of the IEEE Transactions on Software Engineering from January 2002 to December 2005.

tracking-