Our plan of attack: next week

• Analysis of state machine based specifications (model checking)

• A brief overview of requirements engineering issues

• Michael Jackson on video: “The World and the Machine”

Previous slide

Next slide

Back to first slide

View graphic version