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