Modelling Systems (2nd Edition): Additional Exercises

This page contains exercises which supplement those in the book and which we have found useful in delivering the course material. We are adding to these exercises all the time as contributions arrive from colleagues. If you find useful material, then why not contribute some exercises of your own?

1. General Exercises (Questions|Answers)
2. Logic (Questions|Answers)
3. Using Sets (Questions|Answers)
4. Using Sequences (Questions|Answers)
5. Using Mappings (Questions|Answers)
6. Implicit Specification
7. Validation
8. Mock Examination material

-- JohnFitzgerald - 11 Jun 2009