软件构造-凯发k8官网下载客户端

《软件构造》（software construction）是软件工程专业的学科核心课程，其课程内容包含:

1、程序设计语言的相关理论知识

2、软件代码开发的形式化方法、并发处理和进程通信等

3、23种设计模式

4、 实践相关的状态转移和基于表的软件设计

5、专业构造工具的学习和使用

本课程要求每个学生独立完成实验，多实践，通过实践提高软件构造的能力和经验，教学的主要目标是:

1、了解软件构造的基本思想、方法和技术，能够应用各种基础的软件代码开发技术和工具构造软件系统；

2、掌握规范说明语言与方法的应用，能为底层软件模块创建简单的形式规范，检查规范的有效性，并用适当工具从规范直接生成代码；

3、理解形式化软件构造方法，能够设计面向简单应用的语言和协议，并使用恰当工具为语言和协议生成代码；

4、掌握高效的软件构造方法，能够应用防御性程序设计应对编码以及实际应用中可能存在的错误及异常情况，实现高质量软件构造过程；

5、理解并发软件设计，利用互斥机制使用资源，为顺序访问可重用资源制定规则（包括线程和数据库加锁）。