This book provides proven techniques and strategies for developing dependable software. It gives a concise overview of how to develop and implement dependable software while examining key issues and usable techniques. The author addresses why dependability matters, what it means for a system to be dependable, how to build a dependable system, and how to assess whether a system is adequately dependable. He helps software engineers understand why the software is being asked to do what it is being asked to do as well as why the software is made to operate on the particular platform specified.
This book provides proven techniques and strategies for developing dependable software. It gives a concise overview of how to develop and implement dependable software while examining key issues and usable techniques. The author addresses why dependability matters, what it means for a system to be dependable, how to build a dependable system, and how to assess whether a system is adequately dependable. He helps software engineers understand why the software is being asked to do what it is being asked to do as well as why the software is made to operate on the particular platform specified.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
Inhaltsangabe
Introduction. Dependability Requirements. Errors, Faults, and Hazards. Dependability Analysis. Dealing with Faults. Degradation Faults and Software. Software Dependability. Software Fault Avoidance in Specification. Software Fault Avoidance in Implementation. Software Fault Elimination. Software Fault Tolerance. Dependability Assessment. Bibliography.