課程等級：研究生課程

學院：工程、建筑和信息技術

學校：信息技術與電子工程

單位：2

持續時間：一個學期

班級聯系方式：2課時，1課時

不兼容

CSSE4603

先決條件

數學 1061

評估方法：作業、小項目、期中和期末考試

課程協調員

博士。格雷姆·史密斯 (smith@itee.uq.edu.au)

出國留學

此計劃已預先批準出國留學和交換生。

課程介紹

軟件工程的科學基礎依賴于使用精確的抽象模型和邏輯來描述和推理軟件系統的屬性。隨著時間的推移，許多基本模型和邏輯已被證明在軟件系統研究中特別重要和普遍。本課程與該知識體系相關。它考慮了許多用于表示和推理順序和并發系統的標準模型，例如狀態機、代數和跟蹤。