形式化软件功能分解的交互式规则

摘要：

形式化功能分解是软件形式化设计的基本手段.文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性.分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分.

关键词：功能分解、分解规则、分解策略、规则库、交互式

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

资助基金：云南省自然科学基金98F005G;云南省中青年学术与技术带头人培养基金1998-37

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

页数：共3页

页码：44-46