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.
- ICT221 and MTH212
- Semester of offer Subject to change
- Moreton Bay: Not Currently Offered
- Student contribution band
- Band 2A
- Tuition fee
- 2.2A: Computing, Built Environment, Other Health
- Census date
- Academic Calendar
- Class timetable
- View class timetables for this course
Students enrolled in this course should check the course Canvas site to ensure that they are accessing the most recent approved version of the course outline.