微计算机应用
微計算機應用
미계산궤응용
MICROCOMPUTER APPLICATIONS
2007年
10期
1117-1120
,共4页
B方法%抽象机%精化%证明义务
B方法%抽象機%精化%證明義務
B방법%추상궤%정화%증명의무
B方法是支持规格说明到软件设计和执行的形式化方法.文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述.验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率.
B方法是支持規格說明到軟件設計和執行的形式化方法.文章研究瞭B方法中一種抽象機庫的實現模型和生成代碼,對該方法的特點進行評述.驗證瞭B的正確可靠的實現方法,充分利用B方法的精化原則,提高瞭B形式化方法的開髮驗證效率.
B방법시지지규격설명도연건설계화집행적형식화방법.문장연구료B방법중일충추상궤고적실현모형화생성대마,대해방법적특점진행평술.험증료B적정학가고적실현방법,충분이용B방법적정화원칙,제고료B형식화방법적개발험증효솔.