โ Scribed by H. Kopetz (auth.)
No coin nor oath required. For personal study only.
Front Matter....Pages i-vii
Introduction....Pages 1-2
Basic Concepts....Pages 3-12
Errors....Pages 13-24
Software Structure....Pages 25-32
Functional Specification....Pages 33-38
Reliability and System Design....Pages 39-53
Verification of Software....Pages 54-62
Manual Debugging....Pages 63-67
Automatic Error Detection....Pages 68-80
Automatic Error Correction....Pages 81-90
Software Maintenance....Pages 91-96
The Management of Reliable Software....Pages 97-107
Back Matter....Pages 109-118
Science, general
๐ SIMILAR VOLUMES
C. Wohlin, M. Host, P. Runeson and A. Wesslen, Software Reliability, in Encyclopedia of Physical Sciences and Technology (third edition), Vol. 15, Academic Press, 2001.<div class="bb-sep"></div>Contents<br/>Reliability measurement and modeling: an introduction<br/>Usage-based testing<br/>Data collec
Software Reliability Engineering is the classic guide to this time-saving practice for the software professional. ACM Software Engineering Notes praised it as: ".an introductory book, a reference, and an application book all compressed in a single volume.The author's experience in reliability engine
Explains how software reliability can be applied to software programs of all sizes, functions and languages, and businesses. This text provides real-life examples from industries such as defence engineering, and finance. It is aimed at software and quality assurance engineers and graduate students.
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at
<p><P>Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety
<p>Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of