课程

中国大学MOOC，为你提供一流的大学教育

认证学习
为你提供认证成绩和证书，以及AI高效学习服务
查看详情
大学

国家精品

认证学习

智慧课程

理学工学农学

计算机

经济管理

外语

音乐与艺术

心理学

文史哲法

医学与保健

教育教学

大学生竞赛

软件实训

AI

升学/择业

考研

期末突击

大学生涯规划

专升本

四六级

保研及论文

求职就业

专四专八

大学应试英语

期末资料

终身学习

名师专栏

兴趣技能

数字教材
学校
学校云
升学考研
27考研规划
hi,小mooc
大学信息差
登录 | 注册
首页 > 常州大学学校云
SPOC学校专有课程
软件形式化方法
分享
第1次开课
开课时间： 2023年03月24日 ~ 2023年06月30日
学时安排： 4
当前开课已结束 已有 2 人参加
老师已关闭该学期，无法查看
spContent=软件形式化方法课程是建立在严格数学基础上，进行软件开发的方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。
软件形式化方法课程是建立在严格数学基础上，进行软件开发的方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。
—— 课程团队
课程概述

软件形式化方法课程有助于学习者理解在数学基础上，开展软件开发的方法；了解软件危机的基础上，明确软件形式化方法的重要性。从而着手进行软件开发，包括需求分析、系统设计、程序开发、集成代码、软件测试、用户验收，完成软件开发周期。

授课目标

通过软件形式化课程学习，了解软件危机，加深理解开发软件的形式化方法，通过基础知识的学习，掌握开发软件的完整过程，包括需求分析、系统设计、程序开发、集成代码、软件测试、用户验收，完成软件开发。

课程大纲
软件及其开发概述
课时目标：了解软件危机的基础上，明确软件形式化方法的重要性，理解软件工程的意义。
§1.1 软件开发的历史（1h）
§1.2 软件危机（1h）
§1.3 软件工程（3h）
§1.4 软件形式化方法（3h）
数学基础
课时目标：在数学基础上，理解集合的运算、符号的运算，开展软件形式化开发，了解软件形式化方法
§2.1 命题和谓词演算（1h）
§2.2 集合和关系（2h）
§2.3 函数（1h）
§2.4 语法（1h）
§2.5 结构归纳（2h）
§2.6 论域理论基础（1h）
软件开发基础一文字与符号
课时目标：通过文字与符号学习，掌握软件开发基本要素的制作规范与方法。
§3.1 汉字信息处理系统（2h）
§3.2 汉字与符号的输入（2h）
§3.3 文本的编辑（2h）
§3.4 动态文字的制作（2h）
图形与图像
课时目标：通过图形与图像学习，掌握软件开发基本要素图形与图像的制作规范与方法。
§4.1 色彩（1h）
§4.2 图像的来源（1h）
§4.3 数码图像的读取（1h）
§4.4 数码图像的拼接（1h）
§4.5 变形图像的修复（1h）
§4.6 图像的羽化与抠挖技术（1h）
§4.7 Visio与示意图（2h）
动画
课时目标：通过动画制作学习，掌握软件开发基本要素动画的制作规范与方法。
§5.1 运动动画（1h）
§5.2 帧帧动画（1h）
§5.3 渐变动画 （1h）
§5.4 生成动画（1h）
§5.5 振动合成动画（2h）
§5.6 MTV动画（2h）
网站制作
课时目标：通过网站制作学习，掌握软件开发基本要素网站制作规范与方法。
§6.1 HTML（2h）
§6.2 基于PowerPoint和Dreamweaver制作《近代物理》网站（2h）
§6.3 基于Dreamweaver制作《中学奥林匹克竞赛物理实验讲座》网站（2h）
§6.4 动态网站的制作（2h）
计算机游戏
课时目标：通过计算机游戏制作学习，掌握软件开发基本要素计算机游戏制作规范与方法。
§7.1 益智游戏（2h）
§7.2 129益智游戏（6h）
计算机音乐
课时目标：通过计算机音乐制作学习，掌握软件开发基本要素计算机音乐制作规范与方法。
§8.1 声波与音乐（2h）
§8.2 计算机音乐（3h）
§8.3 基于Sibelius 7 制作电子音乐“茉莉花”（3h）
展开全部
预备知识

计算机基础、高等数学、大学物理。

参考资料

（1）古天龙. 软件开发的形式化方法[M]. 北京: 高等教育出版社. 2005

（2）Doron A. Peled著, 王林章译. 软件可靠性方法[M]. 北京: 机械工业出版社. 2021

（3）江兴方. 多媒体制作技术[M]. 北京: 科学出版社,2016

常见问题

符号制作中，正体斜体规范是什么？


答：在符号制作中，变量为斜体，采用 Times New Roman字体；非变量，例如 i、e、

π是世界是独一无二的，用正体。


常州大学
1 位授课老师
江兴方

江兴方

教授

下载
下载

下载App