COMP454

Specification Languages and Models

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.

COMP454 - 18B (HAM)

15.0 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.

Prerequisite(s): COMP235, COMP340 and a further 40 points at 300 level in Computer Science.

Equivalent(s): COMP554

Internal assessment/examination ratio: 1:0

Timetabled Lectures

The Timetable for 2018 is not available.

Indicative Fees

Fees for 2018 are not yet available.

Paper Outlines

The following 2017 paper outlines are available for COMP454. Please contact the Faculty or School office for details on 2018 outlines.

Available Subjects:  Computer Science | Software Engineering

Other available years: Specification Languages and Models - COMP454 (2017)

Paper details current as of : 13 September 2017 5:00pm
Indicative fees current as of : 20 September 2017 4:30am

This page has been reformatted for printing.