Requirements & specification (2 lectures)

• Formal methods

  • State-based, algebraic, model-based
  • Model checking

• Problem and domain analysis

  • Problem frames, use-case, collaborations, etc.

• Highlight: A Michael Jackson video

Previous slide

Next slide

Back to first slide

View graphic version