Computer Science Home | People | Degrees | Papers | Research | Events | Other FCMS Subjects
Level 1 Papers

Level 2 Papers

Level 3 Papers

Level 4 Papers

Level 5 Papers

Summer School Papers

Industry Papers

Carrier and ISP Networks

Cyber Security

Interaction Design

Information Visualisation

Advanced Graphics and Computer Games

Usability Engineering

Software Engineering Methodologies

Specification Languages and Models


Computational Finance

Report of an Investigation

2013 Papers
Level 4 Papers >> B Semester
COMP454B 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
COMP554 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