Goals and Objectives

• Requirements Specification

  • clarify customer's requirements
  • reveal ambiguity, inconsistency, incompleteness

• System/Software Design

  • decomposition structural specifications of component relations and behavioral specification of components
  • refinement demonstrating that next level of abstraction satisfies higher level

• Verification

  • proving a specificand (implementation) satisfies its specification

• Validation

  • testing and debugging

• Documentation

  • communication between specifier, implementor, customer, clients

Previous slide

Next slide

Back to first slide

View graphic version