2006

Mathematical Approaches to Software Quality

Authors:

ISBN: 978-1-84628-242-3 (Print) 978-1-84628-435-9 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Book Chapter

    Pages 1-32

    Introduction

  3. No Access

    Book Chapter

    Pages 33-52

    Software Engineering Mathematics

  4. No Access

    Book Chapter

    Pages 53-74

    Logic for Software Engineering

  5. No Access

    Book Chapter

    Pages 75-91

    Z Specification Language

  6. No Access

    Book Chapter

    Pages 92-108

    Vienna Development Method

  7. No Access

    Book Chapter

    Pages 109-125

    Irish School of VDM

  8. No Access

    Book Chapter

    Pages 126-142

    Dijkstra and Hoare

  9. No Access

    Book Chapter

    Pages 143-175

    The Parnas Way

  10. No Access

    Book Chapter

    Pages 176-196

    Cleanroom and Software Reliability

  11. No Access

    Book Chapter

    Pages 197-210

    Unified Modeling Language

  12. No Access

    Book Chapter

    Pages 211-219

    Technology Transfer

  13. Back Matter

    Pages 220-231