Hits:
Course Introduction:本课程是“软件工程”专业(本科)的主要课程之一，专业基础课。讲授的主要内容是软件构造的一般原则、常用技巧(契约式设计、防御式编程等)、形式化方法和软件构造工作的执行要点，使学生能够应用软件开发技术和工具进行底层软件设计和实现，设计适用于各种应用的简单语言和协议，并使用适当工具产生简单语言和协议的代码，建立低层次软件模块的简单形式化规格说明，检验其正确性并使用适当工具生成代码，能够设计简单的并发软件。
Schedule:2023-09-20:翠八教负09*;2023-10-04:翠八教负09*;2023-10-25:翠八教负09*;2023-09-27:翠八教负09*;2023-09-25:翠八教负09*;2023-10-16:翠八教负09*;2023-10-02:翠八教负09*;2023-09-18:翠八教负09*;2023-10-18:翠八教负09*;2023-10-30:翠八教负09*;2023-10-23:翠八教负09*;2023-09-13:翠八教负09*;2023-10-09:翠八教负09*;2023-11-01:翠八教负09*;2023-10-11:翠八教负09*;2023-09-11:翠八教负09*
Teacher:张高峰
School Year:2023-2024
Semester:Autumn Term
Course number:1618290X
Credits:3.0
Course Type:Undergraduate Course:
Top-Quality Courses or Not:no
Maximum Number of Students:163
Required Class Hours:40.0