This paper deals with various aspects of modelling systems using advanced, "good practice" methods from the software engineering field. It will introduce at least one of the main software modelling languages, Z, including its semantics, logic and associated tools. It will also introduce the concept of refinement and its use in validating models against requirements and verifying implementations against the models.
COMP235 Logic and Computation
COMP340 Reasoning about Programs, and
a further 40 points at 300 level in Computer Science
COMP554 Specification Languages and Models
Official Timetable Information
"Using Z" by Woodcock and Davies, which is on-line for free! See the moodle site for the paper for details. I'll be using this book throughout the paper, and you should read the first few chapters before the paper starts. A lot of it is just revision (with a syntax change).
Internal assessment/final examination ratio 1:0
Class attendance is expected. The course notes provided are not comprehensive, additional material will be covered in class. You are responsible for all material covered in class.
Follow this link for Academic Integrity information.
Follow this link for information on Performance Impairment.
Student Concerns and Complaints
Follow this link for Student Concerns and Complaints information.
Application for Extension
Follow this link for information on applying for an Extension.
Review of Grade
Follow this link for information on applying for a Review of Grade.
Your attention is drawn to the following regulations and policies, which are published in the University Calendar: