2013 Papers
Level 5 Papers >> All Papers
COMP554B Specification Languages and Models

15 Points

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.

Pre Requisite Papers
COMP235 Logic and Computation
COMP340 Reasoning about Programs, and
a further 40 points at 300 level in Computer Science

Corresponding Papers
COMP454 Specification Languages and Models

Lecturers and Tutors

B Semester

Moodle Link

Official Timetable Information

Required Reading
"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).

Assessment Ratio
Internal assessment/final examination ratio 1:0

Attendance Policy
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.

Academic Integrity
Follow this link for Academic Integrity information.

Performance Impairment
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.

University Regulations
Your attention is drawn to the following regulations and policies, which are published in the University Calendar:

  2007 FCMS. The University of Waikato - Te Whare Wananga o Waikato