计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2000年
7期
44-46
,共3页
李彤%王黎霞%柳青%孔兵
李彤%王黎霞%柳青%孔兵
리동%왕려하%류청%공병
功能分解%分解规则%分解策略%规则库%交互式
功能分解%分解規則%分解策略%規則庫%交互式
공능분해%분해규칙%분해책략%규칙고%교호식
形式化功能分解是软件形式化设计的基本手段.文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性.分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分.
形式化功能分解是軟件形式化設計的基本手段.文章基于前後斷言形式定義的軟件功能,提齣瞭一組將該功能定義分解為3種基本控製結構之一的交互式分解規則,併證明瞭這組分解規則的正確性.分解規則構成的規則庫是支持軟件形式化設計的知識庫的重要組成部分.
형식화공능분해시연건형식화설계적기본수단.문장기우전후단언형식정의적연건공능,제출료일조장해공능정의분해위3충기본공제결구지일적교호식분해규칙,병증명료저조분해규칙적정학성.분해규칙구성적규칙고시지지연건형식화설계적지식고적중요조성부분.