Fundamentals of dependable computing for software engineers (Record no. 32781)
[ view plain ]
INTERNATIONAL STANDARD BOOK NUMBER | |
---|---|
International Standard Book Number | 9781138402225 |
DEWEY DECIMAL CLASSIFICATION NUMBER | |
Call number | 004.2 KN FU |
MAIN ENTRY--PERSONAL NAME | |
Authors | Knight, John |
TITLE STATEMENT | |
Title | Fundamentals of dependable computing for software engineers |
Statement of responsibility, etc | John Knight with foreword by Brian Randell |
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Boca Raton, FL : |
Publisher | CRC PRESS, |
Date | 2017. |
PHYSICAL DESCRIPTION | |
Extent | xix, 415 p. : |
Other Details | ill. ; |
Size | 25 cm. |
SUMMARY | |
Summary | 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. |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | Weapon systems |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | Computer system |
ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://uowd.box.com/s/pqsfn03gq5c5kaz4nrexs4slbvsq7apx |
Public note | Location Map |
MAIN ENTRY--PERSONAL NAME | |
-- | 11489 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 11490 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 11491 |
Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Permanent location | Current location | Shelving location | Date acquired | Source of acquisition | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
University of Wollongong in Dubai | University of Wollongong in Dubai | Main Collection | 2017-12-11 | ABE | 004.2 KN FU | T0058176 | 2017-11-08 | 2017-11-08 | REGULAR |