威尼斯886699简介
威尼斯8866991977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为威尼斯886699。2020年,将原威尼斯886699、软件学院、网络技术研究院调整、合并组建新的威尼斯886699,并支撑网络与交换技术国家重点实验室(威尼斯886699)。
课程信息
程序设计方法学
课程编号 512.5*058
课程名称 程序设计方法学
任课老师   徐六通
课程类型 必修/学位课
课程阶段 硕士
学时学分 36学时2学分
基本要求 通过本课程的学习,使学生掌握结构化程序和OO程序设计的分析及设计方法,掌握程序设计中形式方法的基本概念,了解程序正确性验证的原理和方法,基本了解开发程序设计的基本概念,使学生具备初步的系统分析能力和较好的程序设计能力。
内容提要 引言
第一章 系统与程序
可编程系统、程序及其性质、程序表示
第二章 结构化程序设计
基本概念,结构化定理,结构化程序设计
第二章 新型程序设计
函数程序,逻辑型程序设计,OO程序设计
第四章 程序设计中的形式方法
概念,语法形式描述,语义形式描述,形式推导,正确性,正确性验证
第五章 并发程序设计
基本概念,常用方法
教学方式
指定教材
参考书目 1. 《程序设计方法学》,陈火旺 等编著,电子工业出版社
2. 《程序设计方法学》,仲萃豪 等编著,北京出版社
先修课程:
先修课程 离散数学,程序语言基础
开课学期