Please enable JavaScript.

Coggle requires JavaScript to display documents.

Chapter 12: Design Verification - Coggle Diagram

- - - - Product conventions are essential if multiple developers are to produce a system that has any external coherence. These conventions should address, for example, the user interfaces, external naming, system error handling, installation procedures, and help facilities.
      - A system must have a clear and consistent appearance to its users, regardless of who designed each element.
    - - Product design standards range from simple conventions to complete system architectures.
    - - Reuse is a powerful technique, but it must be properly managed. It can save time and money and produce higher quality products.
      - Reuse can be at the system de- sign level, the component design level, or the modular part level. To get maximum benefit
- - - - Symbolic execution
      - race table examination of all possible cases
      - Proof by induction