%0 Journal Article
%T 表格语言的分析比较
%A 陈怡海？
%A 缪淮扣？
%J 计算机科学
%D 2014
%X 表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。
%K 表格方法
%K 形式方法
%K 规格说明验证与确认
%K 工具支持中图法分类号tp311.5文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140304&flag=1