|Unit level:||Level 3|
|Teaching period(s):||Semester 1|
|Offered by||School of Computer Science|
|Available as a free choice unit?:||Y
Additional RequirementsStudents who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.
This course is an introduction to verified development, using the Perfect Developer tool from Eschertech, which allows the development of abstract models, and their translation and refinement into running Java code.
OverviewFormal development techniques are able to provide the highest achievable levels of dependability in high-consequence applications.
Teaching and learning methods
There are exercises associated with COMP31111. Some are to be submitted via Blackboard for assessment (counting 20% of the course).
Learning outcomes are detailed on the COMP31111 course unit syllabus page on the School of Computer Science's website for current students.
- Analytical skills
- Problem solving
- Written exam - 80%
- Written assignment (inc essay) - 20%
Overview of informal and rigorous development.
Overview of model based refinement.
Basics of the Perfect language.
Practical development and refinement in Perfect.
More refinement theory.
The role of automated reasoning.
Prospects for the future.
COMP31111 reading list can be found on the School of Computer Science website for current students.
Feedback methodsFeedback is provided face to face in the lab, and online for uploaded assessed materials.
- Assessment written exam - 2 hours
- Lectures - 22 hours
- Independent study hours - 76 hours