100 积分
50
评分
4.6 积分- 详情
- 2021-04-26
- 简介
pdf
- 211KB
- 页数 6P
- 阅读 91
- 下载 21
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
形式化方法在软件工程中的应用研究 211KB
软件工程中的结构化设计方法 1.4MB
软件工程方法在信息工程监理中的应用研究 1.6MB
翻转课堂在《软件工程》课程中的应用研究 46KB
案例教学法在软件工程中的应用 128KB
案例教学法在软件工程中的应用 128KB
FTA分析方法在基坑工程中的应用研究 233KB
FTA分析方法在基坑工程中的应用研究 202KB
软件工程学在毕业设计中应用研究 91KB
软件工程的方法在毕业设计中的应用 215KB