Please enable JavaScript.

Coggle requires JavaScript to display documents.

QUALITY ASSURANCE (DEFECT PREVENTION (other (use of other software…

- - - - Product and domain specific knowledge
      - Software development knowledge and expertise
      - Development methodology, technology, and tools
      - Development process knowledge
  - - - so-call axiomatic approach
      - weakest precondition
      - limited scope or semi-formal