Basics: five points

• Formal specification

  • �Required system behavior and architecture�
  • Black box stimulus-response specification

• Incremental development

  • Partitioned into �user-function increments� that �accumulate into the final product�

• Structured programming

  • Limited use of control and data abstraction constructs; stepwise refinement of specification

Previous slide

Next slide

Back to first slide

View graphic version