Z规格说明中集合论算子向C++转换的实现

扫码查看

原文链接

NETL

中文摘要：采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法.Z是目前最为流行的一种形式规格说明语言.但由于Z缺少自己的编译环境,在工业界尚未达到广泛应用的程度.针对这种情况提出了Z规格说明到高级程序语言自动转换的思想.本文主要研究的是Z规格说明中集合论算子向C++的自动转换,文中具体讨论了Z的基本数据类型和集合论算子中属于操作的转换.

作者：

王宏生、文欣、苏北

展开 >

作者单位：

沈阳工业大学,沈阳,10023

关键词：

Z规格说明集合论算子自动转换自然语言描述

主办单位：

中国机械工程学会

中国自动化学会

会议名称：

全国企业应用集成系统与技术学术研讨会(EAIST'05)

会议时间：

2005-11-01

会议地点：

北京

会议母体文献：

制造业自动化

页码：

686-688

出版时间：

2005