Documents Modelling & Datatypes Koen Lindström Claessen. Software Software = Programs + Data.

Slide 1Modelling & Datatypes Koen Lindström Claessen Slide 2 Software Software = Programs + Data Slide 3 Modelling Data A big part of designing software is modelling…

Documents Test Data Generators Lecture 5. Why Distinguish Instructions? Functions always give the same result....

Slide 1 Test Data Generators Lecture 5 Slide 2 Why Distinguish Instructions? Functions always give the same result for the same arguments Instructions can behave differently…

Documents Test Data Generators

Test Data Generators Lecture 5 Why Distinguish Instructions? Functions always give the same result for the same arguments Instructions can behave differently on different…