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

CGRD524
Interaction Design

CGRD532
Information Visualisation

CGRD581
Report of an Investigation

COMP514
Carrier and ISP Networks

COMP518
Cyber Security

COMP524
Interaction Design

COMP532
Information Visualisation

COMP536
Advanced Graphics and Computer Games

COMP539
Usability Engineering

COMP540
Software Engineering Methodologies

COMP554
Specification Languages and Models

COMP555
Bioinformatics

COMP556
Computational Finance

2013 Papers
Level 5 Papers >> B Semester
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
http://elearn.waikato.ac.nz/

Timetable
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