ELEC 2018 Systems Modelling and Design

This is an archived copy of the 2021-2022 catalog. To access the most recent version of the catalog, please visit https://hbook.westernsydney.edu.au.

Credit Points 10

Legacy Code 301345

Coordinator Richard Yang Opens in new window

Description This unit will be offered at Engineering Innovation Hub - Hassall St, Parramatta campus. This unit reinforces the understanding of discrete mathematics and the role it plays in computing science and engineering. Students learn how to systematically derive implementations from formal specifications using simple mathematics. Students also learn to develop an understanding of the rules for deriving implementations from specifications. Why do they work? What do we have to prove and how? This is crucial for later industrial software engineering practice.

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) MATH 1006 AND
ENGR 1045

Teaching Periods