表格语言的分析比较

• 作者: 缪淮扣 陈怡海
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 表格方法 形式方法 规格说明验证与确认 工具支持
• 年，卷（期）: 2014,（3）
• 页码范围: 23-26
• 页数: 4页
• 分类号: TP311.5
• 字数: 4896字
• 语种: 中文

摘要

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中.准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义.对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈怡海	上海大学计算机工程与科学学院	13	79	5.0	8.0
2	缪淮扣		17	125	6.0	11.0