ELEC 2019 Workshop on Reasoning about Programs
Credit Points 10
Legacy Code 301347
Coordinator Richard Yang Opens in new window
Description 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.
School Eng, Design & Built Env
Discipline Computer Engineering
Student Contribution Band HECS Band 2 10cp
Check your HECS Band contribution amount via the Fees page.
Level Undergraduate Level 2 subject
Pre-requisite(s) ELEC 2018
Discrete mathematics, particularly predicate calculus
Programing in procedural language (C, Python or Java)
Competence with Unix commands, and interacting with the operating system.