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

Interactive Rules of Formal Software Function Decomposition

作　　者：李彤[1] 王黎霞[1] 柳青[1] 孔兵[1] 

机构地区：[1]云南大学

出　　处：《计算机工程与应用》2000年第7期44-46,共3页Computer Engineering and Applications

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

摘　　要：形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能，提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则，并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分。Formal function decomposition is the essential method of formal softWare design. In this paper,based on the formal software functions defined hy precondition and postcondition,we propose a guup of interactive rules which can decompose a function into one of the basic contrnl structures and prove the correctness of these rules. The rule base composed of these rules is an important part of knowledge hase supporting formal software design.

关 键 词：功能分解 面向对象 交互式规则 形式化软件 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]