Personal Homepage

Personal Information

MORE+

Associate professor

Supervisor of Master's Candidates

E-Mail:

Date of Employment:2017-02-20

School/Department:Department of Software Engineering

Administrative Position:Deputy Director

Education Level:With Certificate of Graduation for Doctorate Study

Business Address:Room B906, Feicui Science and Education Building, Feicui Lake Campus

Gender:Male

Degree:Doctoral Degree in Philosophy

Status:Employed

Alma Mater:Swinburne University of Technology, AUS

Discipline:Software Engineering
Computer Applications Technology
Computer Software and Theory
Computer Architecture

Gaofeng ZHANG

+

Gender:Male

Education Level:With Certificate of Graduation for Doctorate Study

Alma Mater:Swinburne University of Technology, AUS

Teaching Information

软件构造

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