Not offered until Semester 1 2022 This course will focus on developing system modelling skills, to enable systems to be formally modelled, simulated, analysed, and verified. Through practical modelling exercises, you will develop your abstraction, modelling, analysis, and critical thinking skills. You will learn how to model systems at a much higher level than just code, how to use simulation and static analysis tools to find errors in those models; how to generate tests from those models; and how to automate the execution of test suites.
- Semester of offer*:
- Sunshine Coast: Semester 1
- Student contribution band:
- Band 2
- Census date:
- Academic Calendar
- Class Timetable:
- View class timetables for this course
* Semester of offer is subject to change.
The outline for this course is currently unavailable.