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.

Course detail

Prerequisite

ICT221 and MTH212

Semester of offer Subject to change

• Moreton Bay: Not Currently Offered

Units

12.00

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

Course outline

View the current course outline 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.