Skip to main content
SpringerLink
Log in

Engineering Quality Software

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

  • Book
  • © 1989

Overview

Authors:
  1. David J. Smith

    1. Tonbridge, Kent, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Kenneth B. Wood

    1. Fleet, Hampshire, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Back Matter

    Pages 209-283
    Download chapter PDF
Back to top

Keywords

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.

Bibliographic Information

  • Book Title: Engineering Quality Software

  • Book Subtitle: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

  • Authors: David J. Smith, Kenneth B. Wood

  • DOI: https://doi.org/10.1007/978-94-009-1121-5

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Elsevier Science Publishers Ltd and David J. Smith 1989

  • Softcover ISBN: 978-94-010-6996-0Published: 04 October 2011

  • eBook ISBN: 978-94-009-1121-5Published: 06 December 2012

  • Edition Number: 2

  • Number of Pages: XVIII, 284

  • Topics: Electrical Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation