menu
{ "item_title" : "Achieving Quality Software", "item_author" : [" D. Smith", "David J. Smith "], "item_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.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/41/262/270/041262270X_b.jpg", "price_data" : { "retail_price" : "99.00", "online_price" : "99.00", "our_price" : "99.00", "club_price" : "99.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Achieving Quality Software|D. Smith

Achieving Quality Software : Including Its Application to Safety-Related Systems

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9780412622700
  • ISBN-10: 041262270X
  • Publisher: Chapman & Hall
  • Publish Date: June 1995
  • Dimensions: 9.21 x 6.14 x 0.69 inches
  • Shipping Weight: 1.33 pounds
  • Page Count: 304

Related Categories

You May Also Like...

    1

BAM Customer Reviews