课程级别：研究生课程
学院：工程，建筑与信息技术
学校：信息技术与电子工程
单位：2
持续时间：一学期
班级联系：2堂课时，1堂课时
不相容
CSSE4603
先决条件
数学1061
评估方法：作业，小项目，期中和期末考试
课程协调员
Graeme Smith博士(smith@itee.uq.edu.au)
出国留学
该课程已为出国留学和交流学生预先批准。
课程说明
软件工程的科学基础依赖于使用精确的抽象模型和逻辑来表征和推理软件系统的特性。随着时间的流逝，许多基本模型和逻辑已被证明在软件系统的研究中特别重要和普遍。本课程与该知识体系有关。它考虑了许多用于表示和推理顺序和并发系统的标准模型，例如状态机，代数和迹线。