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