COMP454 - 18B (HAM)
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.
Internal assessment/examination ratio: 1:0
The Timetable for 2018 is not available.
Fees for 2018 are not yet available.
The following 2017 paper outlines are available for COMP454. Please contact the Faculty or School office for details on 2018 outlines.
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