Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

COMP31111 2018-2019 syllabus

COMP31111 materials

Course lecturer: not assignedAdditional staff: view all staff

Syllabus unknown to Campus Solutions

No information is held in Campus Solutions for this syllabus.

Learning outcomes

Programme outcomeUnit learning outcomesAssessment
A1 A3 B1 D6Be familiar with informal and rigorous development.
  • Examination
A1 A3 B1 D6Be familiar with model based refinement.
  • Examination
A1 A3 B1 D6Have a knowledge of Perfect Developer.
  • Lab assessment
  • Examination
A1 A3 B1 D6Be able to design and build simple applications using Perfect Developer.
  • Examination
  • Lab assessment
A1 A3 B1 D6Have an appreciation of the significance of Perfect's verification conditions.
  • Examination

Reading list

COMP31111 does not have a specified reading list.