COMP31111 2018-2019 syllabus
Syllabus unknown to Campus Solutions
No information is held in Campus Solutions for this syllabus.
|Programme outcome||Unit learning outcomes||Assessment|
|A1 A3 B1 D6||Be familiar with informal and rigorous development.|
|A1 A3 B1 D6||Be familiar with model based refinement.|
|A1 A3 B1 D6||Have a knowledge of Perfect Developer.|
|A1 A3 B1 D6||Be able to design and build simple applications using Perfect Developer.|
|A1 A3 B1 D6||Have an appreciation of the significance of Perfect's verification conditions.|
COMP31111 does not have a specified reading list.