School Of Computing, Engineering And MathematicsFormal MethodsWestern Sydney University Unit Code: 300122.2
Discipline: COMPUTER SCIENCE
Student Contribution Band: 2
Level: 2
Credit Points: 10
Prerequisite
200025 Discrete Mathematics
About this Unit
This unit introduces formal methods used by software and hardware designers. It explains how to produce a formal specification that can be converted directly into an executable prototype.