Requirements (2 lectures)

• Domain analysis

  • Use-case, collaborations, etc.

• Formal methods

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

Previous slide

Next slide

Back to first slide

View graphic version