Research Problems

• Want to “solve” a problem not an instance of a problem

• Which is the better specification technique UML or Object Z or Resolve or …

• How will we proceed?

• How will we know when we have an answer?

• How will we know when we have a “correct” answer?

Previous slide

Next slide

Back to first slide

View graphic version