软件构造
点击次数：
课程介绍：本课程是“软件工程”专业(本科)的主要课程之一，专业基础课。讲授的主要内容是软件构造的一般原则、常用技巧(契约式设计、防御式编程等)、形式化方法和软件构造工作的执行要点，使学生能够应用软件开发技术和工具进行底层软件设计和实现，设计适用于各种应用的简单语言和协议，并使用适当工具产生简单语言和协议的代码，建立低层次软件模块的简单形式化规格说明，检验其正确性并使用适当工具生成代码，能够设计简单的并发软件。
上课时间：2021-10-12:翠十二教203*;2021-10-15:翠十二教203*;2021-10-19:翠十二教203*;2021-10-22:翠十二教203*;2021-10-26:翠十二教203*;2021-10-29:翠十二教203*;2021-10-30:翠十二教203*;2021-10-31:翠十二教203*;2021-11-20:翠十二教106*;2021-09-07:翠十二教203*;2021-09-10:翠十二教203*;2021-09-14:翠十二教203*;2021-09-17:翠十二教203*;2021-09-21:翠十二教203*;2021-09-24:翠十二教203*;2021-09-28:翠十二教203*;2021-10-01:翠十二教203*;2021-10-05:翠十二教203*;2021-10-08:翠十二教203*
授课教师：张高峰
开课学年：2021-2022
开课学期：秋学期
课程号：1618290X
学分：3.0
课程类型：本科生课程
是否精品课程：否
选课人数：85
课时：40.0