计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
3期
23-26
,共4页
表格方法%形式方法%规格说明验证与确认%工具支持
錶格方法%形式方法%規格說明驗證與確認%工具支持
표격방법%형식방법%규격설명험증여학인%공구지지
Tabular notations%Formal methods%Specification verification and validation%Tool support
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中.准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义.对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向.
錶格語言具有可讀性和可理解性的優點,它能非常精確地錶示軟件繫統需求.在過去的30多年間,錶格語言已經成功地應用于多箇安全關鍵嵌入式軟件的開髮中.準確瞭解這些錶格語言的特性,對錶格語言的研究及推廣有重要的指導意義.對3種不同的錶格語言進行瞭詳細的綜述和討論,從不同角度分析比較瞭其異同點,併提齣瞭進一步的研究方嚮.
표격어언구유가독성화가리해성적우점,타능비상정학지표시연건계통수구.재과거적30다년간,표격어언이경성공지응용우다개안전관건감입식연건적개발중.준학료해저사표격어언적특성,대표격어언적연구급추엄유중요적지도의의.대3충불동적표격어언진행료상세적종술화토론,종불동각도분석비교료기이동점,병제출료진일보적연구방향.