软件质量中的数学方法
时间:2022-04-01 08:46:59 浏览次数:次
本书综合介绍开发高质量软件所使用的数学方法,介绍完善的软件工程所必需的数学知识,讨论用于学术研究和工业应用的数学方法。本书的目标是向读者解释数学方法的特点,从而帮助读者应用这些方法解决实际问题。
本书共有11章,各章内容如下:1、介绍软件开发所使用的数学方法,回顾比较流行的规范方法,讨论数学证明的种类和作用;2、讲述完善的软件工程必需的数学知识;3、详细讨论数学逻辑的检查方法,包括命题和谓词计算,以及在说明中产生的无定义值的检查方法;4、讲述z说明语言的主要特点和结构;5、回顾IBM公司开发维也纳VDM的历史、语言特点及其开发方法;6、解释爱尔兰学校提出的VDM的核心思想,阐明它与标准VDM的不同之处;7、介绍Dijkstra提出的计算最弱条件方法和Hoare提出的编程语言的公理语义学;8、讨论Parnas提出的经典工程方法和制表表达式;9、讲述Harlan Mills提出的打扫房间方法和软件可靠性所需的数学知识;10、讲述统一建模语言;11、讲述将数学方法应用到工业的技术。
作者于1997年在Trinity大学获得博士学位,现就职于Eirgrid公司。本书的特点是全面介绍软件质量中所涉及的数学方法,将数学方法讲述的简明易懂,适合计算机系的本科生和研究生参考学习。
赵韬,博士研究生
(中科院计算机网络信息中心)
推荐访问: 数学 质量 方法 软件[软件质量中的数学方法]相关文章
- 数学学习方法_数学学习方法总结_学习数学的好方法
- 关于高师院校数学教学论课程建设的思考
- 小学数学分析和解决问题能力的组成及培养策略
- 数据工程专业的数学分析课程教学改革新探索
- 工程技术应用数学分析
- 化归思想在数学分析课程中的体现
- 构造思想在数学分析中的应用
- 论培养学生数学分析和解决问题能力的方法
- 新课程下高中生数学分析和解决问题能力的培养策略
- 曲线与面的重构 算法及数学分析
- 药品经营质量管理分析
- 质量管理体系自查报告 质量管理自查报告
- 试论建筑施工现场的质量控制与管理
- 工业管道安装监检若干环节的质量控制
- 高层建筑转换层结构施工技术与质量控制
- 谈建筑电气工程安装方法与质量控制
- 110kV高压电缆的施工技术与质量控制
- 机械加工质量控制及诊断技术研究
- 四味降酶片的质量标准研究
- 谈冬季房屋建筑施工的质量保证措施
- 抖音打造爆款的方法总结
- 管理学技术化与方法论研究
- 《管理学―原理与方法》方法论分析
- 企业管理的方法论问题研究
- 社会主义民主政治建设的逻辑和方法论
- 基于INA设计方法的多变量PID控制器设计方法
- 新自由主义经济学中的方法论
- 库恩“范式”理论的批判与借鉴:马克思主义经济学方法论的演进
- 高中生物教学提效方法论浅谈
- 高中物理学方法论剖析
- “软件工程”网络课程的设计与开发
- 软件测试工程师简历参考 软件测试工作业绩描述
- 软件测试人员绩效考核详细 软件测试工作业绩描述
- 面向“卓越软件工程师”培养的课程体系改革与实践
- 浅谈《软件工程》学习之我见
- 软件
- 软件技术专业“教学工厂”人才培养模式的探索与实践
- 软件工程中程序设计方法的比较
- 软件工程专业课程体系的研究与创新实践
- 以赛促学,实战演练,全面提升学生软件工程综合素质
- 上一篇:思想方法教学是数学教学的精髓
- 下一篇:初中数学实践活动的组织与指导