Engineering Quality Software

A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

  • David J. Smith
  • Kenneth B. Wood

Table of contents

  1. Front Matter
    Pages i-xvii
  2. The Background to Software Engineering and Quality

    1. Front Matter
      Pages 1-1
    2. David J. Smith, Kenneth B. Wood
      Pages 3-11
    3. David J. Smith, Kenneth B. Wood
      Pages 12-21
    4. David J. Smith, Kenneth B. Wood
      Pages 22-29
  3. Current Quality Systems and Software Standards

    1. Front Matter
      Pages 31-31
    2. David J. Smith, Kenneth B. Wood
      Pages 33-52
    3. David J. Smith, Kenneth B. Wood
      Pages 53-74
  4. Software Quality Engineering—An Ideal Approach

    1. Front Matter
      Pages 75-75
    2. David J. Smith, Kenneth B. Wood
      Pages 77-93
    3. David J. Smith, Kenneth B. Wood
      Pages 94-108
    4. David J. Smith, Kenneth B. Wood
      Pages 109-142
    5. David J. Smith, Kenneth B. Wood
      Pages 143-157
    6. David J. Smith, Kenneth B. Wood
      Pages 158-169
  5. New Management for Software Design

    1. Front Matter
      Pages 171-171
    2. David J. Smith, Kenneth B. Wood
      Pages 173-189
    3. David J. Smith, Kenneth B. Wood
      Pages 190-199
    4. David J. Smith, Kenneth B. Wood
      Pages 200-204
  6. Exercise

    1. Front Matter
      Pages 205-205
    2. David J. Smith, Kenneth B. Wood
      Pages 207-208

About this book

Introduction

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.

Keywords

software

Authors and affiliations

  • David J. Smith
    • 1
  • Kenneth B. Wood
    • 2
  1. 1.Tonbridge, KentUK
  2. 2.Fleet, HampshireUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-1121-5
  • Copyright Information Springer Science+Business Media B.V. 1989
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-6996-0
  • Online ISBN 978-94-009-1121-5
  • About this book
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering