西蒙菲莎大学软件工程课程概览(加拿大研究生计算机课程辅导)

前不久有在我们这边进行加拿大研究生计算机课程辅导的同学补习了西蒙菲莎大学软件工程课程，接下来我们就一起来看一看这门课的主要内容吧！

加拿大研究生西蒙菲莎大学软件工程课程研究了软件工程的基本原理和提高软件设计质量的最新技术。课程从方法和数学基础两个方面对并行和反应系统的规范、设计和测试进行了深入探讨。学生将学习如何在早期设计阶段使用形式化技术作为分析和验证关键系统特性的实用工具。应用部分侧重于分布式和嵌入式系统的高层次设计。以下是课程详情。

一、加拿大研究生西蒙菲莎大学软件工程课程整体概述

软件工程课程探讨了一系列软件工程问题的经典和前沿答案。问题涉及：如何创建可维护的、可靠的以及安全的软件？如何将软件系统作为分析的对象？如何自动完成具有挑战性的任务，比如寻找漏洞，甚至编程本身？

软件工程课程还将研究软件工程的现代方面，包括设计、可靠性、性能和安全性。除了手动设计和编程问题之外，学生将获得软件工程自动化方面的技术经验，并将程序本身视为可以分析、转换或自动生成的数据。这门课是实践性的，整个学期中有几个使用各种编程语言的小项目。学生还将根据课程内容选择方向完成一个学期项目。学期项目将涉及建立一个工具，并自动完成一些有用的分析/任务。

二、加拿大研究生西蒙菲莎大学软件工程课程主题范围

1、经典设计和架构

2、技术性能分析

3、静态和动态程序分析

4、软件安全(进攻和防御)

5、自动化调试和缺陷调查

6、自动化程序综合

7、自动化测试生成

8、并发性和并行性

无论是西蒙菲莎大学软件工程课程，还是其他加拿大研究生计算机课程，只要有同学在学习过程中有问题需要老师解答，或需要老师深入讲解课程，都可以联系我们，我们随时可以安排加拿大研究生计算机课程辅导。