Overview
- Authors:
-
-
David J. Smith
-
Tonbridge, Kent, UK
-
Kenneth B. Wood
-
Fleet, Hampshire, UK
Access this book
Other ways to access
Table of contents (14 chapters)
-
Front Matter
Pages i-xvii
-
The Background to Software Engineering and Quality
-
-
- David J. Smith, Kenneth B. Wood
Pages 3-11
-
- David J. Smith, Kenneth B. Wood
Pages 12-21
-
- David J. Smith, Kenneth B. Wood
Pages 22-29
-
Current Quality Systems and Software Standards
-
-
- David J. Smith, Kenneth B. Wood
Pages 33-52
-
- David J. Smith, Kenneth B. Wood
Pages 53-74
-
Software Quality Engineering—An Ideal Approach
-
-
- David J. Smith, Kenneth B. Wood
Pages 77-93
-
- David J. Smith, Kenneth B. Wood
Pages 94-108
-
- David J. Smith, Kenneth B. Wood
Pages 109-142
-
- David J. Smith, Kenneth B. Wood
Pages 143-157
-
- David J. Smith, Kenneth B. Wood
Pages 158-169
-
New Management for Software Design
-
Front Matter
Pages 171-171
-
- David J. Smith, Kenneth B. Wood
Pages 173-189
-
- David J. Smith, Kenneth B. Wood
Pages 190-199
-
- David J. Smith, Kenneth B. Wood
Pages 200-204
-
Exercise
-
Front Matter
Pages 205-205
-
- David J. Smith, Kenneth B. Wood
Pages 207-208
About this book
During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.
Authors and Affiliations
-
Tonbridge, Kent, UK
David J. Smith
-
Fleet, Hampshire, UK
Kenneth B. Wood
About the authors
David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecommunications industries, for over 20 years and is well known for his courses and workshops on these subjects. He currently runs his own consultancy.