计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
7期
282-285
,共4页
形式化方法%B方法%Web技术%抽象机
形式化方法%B方法%Web技術%抽象機
형식화방법%B방법%Web기술%추상궤
形式化B方法支持从规格说明到代码生成的全部软件开发过程.结合网络旅游服务系统模型,讨论了形式化B方法的具体运用,在分析服务器端和客户端状态表示的基础上,给出了该系统的抽象机模型及其精化过程.
形式化B方法支持從規格說明到代碼生成的全部軟件開髮過程.結閤網絡旅遊服務繫統模型,討論瞭形式化B方法的具體運用,在分析服務器耑和客戶耑狀態錶示的基礎上,給齣瞭該繫統的抽象機模型及其精化過程.
형식화B방법지지종규격설명도대마생성적전부연건개발과정.결합망락여유복무계통모형,토론료형식화B방법적구체운용,재분석복무기단화객호단상태표시적기출상,급출료해계통적추상궤모형급기정화과정.