Trending Bestseller

Achieving Quality Software

Including Its Application to Safety-Related Systems

No reviews yet Write a Review
Hardback
30 June 1995
RRP: $152.90
$150.61
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
Foreword. Preface. Acknowledgements. Part One: The background to software engineering and quality. 1. The meaning of quality in software. 2. Software failures and the life cycle. 3. Integrity and the safety life cycle. Part Two: Guidance, legislation and liability. 4. Legislation and liability. 5. Current standards and guidelines. 6. Certification and competence. Part Three: Achieving quality software. 7. The traditional approach. 8. Formal methods in requirements. 9. Formal methods in design. 10. Review and test. 11. Static analysis. 12. Languages and their processors. 13. Achieving fault tolerance in design. Part Four: Management issues. 14. Software management issues. 15. Metrics and modelling. Part Five: Case study. 16. Software system design exercise - addressable detection system. Appendix 1: Checklists. Appendix 2: Glossary of terms and abbreviations. Appendix 3: Bibliography and references. Index.

You Can Find This Title In

    Product Details
    ISBN-13
    9780412622700
    Author
    D.J. Smith
    Publisher
    Springer Nature B.V.
    Published
    30 June 1995
    Format
    Hardback

    This product hasn't received any reviews yet. Be the first to review this product!

    RRP: $152.90
    $150.61
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Achieving Quality Software

    RRP: $152.90
    $150.61

    Description

    Foreword. Preface. Acknowledgements. Part One: The background to software engineering and quality. 1. The meaning of quality in software. 2. Software failures and the life cycle. 3. Integrity and the safety life cycle. Part Two: Guidance, legislation and liability. 4. Legislation and liability. 5. Current standards and guidelines. 6. Certification and competence. Part Three: Achieving quality software. 7. The traditional approach. 8. Formal methods in requirements. 9. Formal methods in design. 10. Review and test. 11. Static analysis. 12. Languages and their processors. 13. Achieving fault tolerance in design. Part Four: Management issues. 14. Software management issues. 15. Metrics and modelling. Part Five: Case study. 16. Software system design exercise - addressable detection system. Appendix 1: Checklists. Appendix 2: Glossary of terms and abbreviations. Appendix 3: Bibliography and references. Index.

    You Can Find This Title In

      This Title Is Categorised As