软件系统模型(CSSE7032)作业辅导

2021-11-05 17:03    来源:留学在线       阅读量:20

课程级别:研究生课程

学院:工程,建筑与信息技术

学校:信息技术与电子工程

单位:2

持续时间:一学期

班级联系:2堂课时,1堂课时

不相容

CSSE4603

先决条件

数学1061

评估方法:作业,小项目,期中和期末考试

课程协调员

Graeme Smith博士(smith@itee.uq.edu.au)

出国留学

该课程已为出国留学和交流学生预先批准。

课程说明

软件工程的科学基础依赖于使用精确的抽象模型和逻辑来表征和推理软件系统的特性。随着时间的流逝,许多基本模型和逻辑已被证明在软件系统的研究中特别重要和普遍。本课程与该知识体系有关。它考虑了许多用于表示和推理顺序和并发系统的标准模型,例如状态机,代数和迹线。

"留学在线"的新闻页面文章、图片、音频、视频等稿件均为自媒体人、第三方机构发布或转载。如稿件涉及版权等问题,请与

我们联系删除或处理,客服邮箱756005163@qq.com,稿件内容仅为传递更多信息之目的,不代表本网观点,亦不代表本网站赞同

其观点或证实其内容的真实性。