软件工程中描述技术的数学基础

摘要：

本文的目的是实现一个反映出方法理论核心的数学理论,它不仅能给出描述方法语义而且能够解释并证明该方法的数学合理性.

关键词： 数学基础 描述技术 形式化 数学模型 流函数

作者: 孙宁 贲可荣

作者单位: 海军工程大学计算机系(武汉) 海军工程大学计算机系(武汉);软件工程国家重点实验室(武汉)

会议类型: 国内会议

会议名称: 2002年全国理论计算机科学学术年会

会议地点: 长沙

会议语种:中文

页码: 5-7,9

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）