Today’s two questions

• Why use formalisms in (at least) some requirements specifications?

• How do we build confidence in the correctness of a requirements specification?

Previous slide

Next slide

Back to first slide

View graphic version