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