软件质量中的数学方法

Mathematical Approaches to Software Quality

导出

摘要本书综合介绍开发高质量软件所使用的数学方法，介绍完善的软件工程所必需的数学知识，讨论用于学术研究和工业应用的数学方法。本书的目标是向读者解释数学方法的特点，从而帮助读者应用这些方法解决实际问题。本书共有11章，各章内容如下：1．介绍软件开发所使用的数学方法，回顾比较流行的规范方法，讨论数学证明的种类和作用；2．讲述完善的软件工程必需的数学知识；

作者赵韬

机构地区中科院计算机网络信息中心

出处《国外科技新书评介》 2008年第1期14-15,共2页 Scientific & Technology Book Review

关键词数学方法软件质量数学知识软件工程工业应用软件开发学术研究规范方法

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] O1-0 [理学—基础数学]

引文网络
相关文献

1王肇庆,佘守宪,苏惠惠.关于构造阶梯算符[J].大学物理,2000,19(4):11-15. 被引量：1
2王艳文,张腊花.测量三棱镜最小偏向角的规范方法探索[J].科技创新导报,2011,8(10):116-116.
3Karen Bemowski Steve Seguis 肖欣(译).一种备份文件的“规范”方法[J].Windows IT Pro Magazine（国际中文版）,2009(3):85-88.
4李华时.C语言的指针[J].青海师专学报,2002,22(5):100-102.
5赵宇.数据挖掘技术[J].金融科技时代,1999,0(9):44-45. 被引量：1
6《信息系统学报》征稿简则[J].信息系统学报,2010,4(1).
7刘健.区级办公系统设计中公文流转等问题的研究[J].信息系统工程,2014,27(11):93-94.
8李彦,张文博,陈宁江.基于模型检查实现J2EE规范的实例研究[J].计算机科学,2006,33(12):249-254.
9洪正平.物理学中二向性标量的分析和应用[J].山东师范大学学报（自然科学版）,2004,19(4):98-99. 被引量：1
10王诗宇.寻找敏捷与规范的平衡点[J].软件世界,2007(10):95-95.

国外科技新书评介

2008年第1期

浏览历史

内容加载中请稍等...

软件质量中的数学方法

相关作者

相关机构

相关主题

浏览历史