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

COMP414
Carrier and ISP Networks

COMP418
Cyber Security

COMP424
Interaction Design

COMP432
Information Visualisation

COMP436
Advanced Graphics and Computer Games

COMP439
Usability Engineering

COMP440
Software Engineering Methodologies

COMP454
Specification Languages and Models

COMP455
Bioinformatics

COMP456
Computational Finance

COMP477
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
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