School Of Engineering, Design And Built Environment

Workshop on Reasoning about ProgramsWestern Sydney University Unit Code: 301347.1


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.

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.

3771.1Bachelor of Engineering Advanced (Honours)CURRENT


KT3175.1Software EngineeringCURRENT

Western Sydney University Copyright © 2004-2016 ABN 53 014 069 881 CRICOS Provider No: 00917K Contact Us | Disclaimer | Emergency Help |