School Of Engineering, Design And Built EnvironmentWorkshop on Reasoning about ProgramsWestern Sydney University Unit Code: 301347.1
Discipline: COMPUTER ENGINEERING
Student Contribution Band: 2
Level: 2
Credit Points: 10
Assumed Knowledge
Discrete mathematics, particularly predicate calculus
Programing in procedural language (C, Python or Java)
Competence with Unix commands, and interacting with the operating system.
Prerequisite
301345 Systems Modelling and Design
Unit Enrolment Restrictions
Students must be enrolled in 3771 Bachelor of Engineering Advanced (Honours)
About this Unit
This unit will be offered at Engineering Innovation Hub – Hassall St, Parramatta campus.
The goal of this unit is to develop skills in writing precise specifications of software programs and to translate these specifications into correct implementations. Further methods for reasoning about programs are introduced, including methods for reasoning about termination, program refinement and data refinement. Students learn to apply these ideas to structure their thinking about programs as well as to build a web application within a project context.
Courses3771.1 | Bachelor of Engineering Advanced (Honours) | CURRENT |
Specialisations