收藏本站
《中国通信学会第五届学术年会论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

Z规格说明中笛卡尔积算子自动求精的研究与实现

文欣  
【摘要】:采用自然语言描述的规格说明通常具有模糊性和二义性,为了克服这种缺陷,人们提出了形式化方法。Z是目前最为流行的一种形式规格说明语言,但由于Z本身缺少自己的编译环境,在工业界尚未达到广泛应用的程度,鉴于这个原因提出了Z向高级程序语言自动转化的思想。本文介绍了Z规格说明中的数据类型,主要研究了Z中笛卡尔积算子的自动求精。
【作者单位】:泉州仰恩大学计算机学院
【分类号】:TP311.11

【参考文献】
中国期刊全文数据库 前2条
1 李刚,朱关铭;OOZS:一种面向对象的Z语言扩展[J];计算机研究与发展;1997年10期
2 陈晶,朱关铭,童頫 ;Z语言模式正确性的检验[J];计算机工程;1995年05期
【共引文献】
中国期刊全文数据库 前5条
1 龚鸣敏;;Web搜索引擎的设计和实现[J];软件导刊;2006年07期
2 李刚,朱关铭,童頫;结构化面向对象形式规格说明语言OOZS——规格说明测试[J];上海大学学报(自然科学版);1998年04期
3 明继军,朱关铭,缪淮扣;Z规格说明的系统不变式及其抽取[J];上海大学学报(自然科学版);1999年S1期
4 王宏生;于云赫;古丽;;Z规格说明函数映射的C++STL实现[J];沈阳工业大学学报;2008年03期
5 赵亮;周巍;;Web搜索引擎分析设计和实现[J];武汉科技学院学报;2006年03期
中国博士学位论文全文数据库 前1条
1 陈洪辉;基于多视图的C~4ISR系统需求一致性验证方法研究[D];国防科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 唐田田;计算机联锁系统软件可靠性设计方法的应用研究[D];合肥工业大学;2004年
2 林玉秋;切纸机工作流程中印品优化裁切算法的研究[D];西安理工大学;2005年
3 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
4 李巍巍;Z规格说明中集合论算子的自动求精研究及实现[D];沈阳工业大学;2005年
5 冯立志;数字多功能电话录音系统研究与实现[D];华北电力大学(河北);2005年
6 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
7 杨壮凌;风力机典型受控过程的动态仿真模拟研究及其CAD软件开发[D];汕头大学;2005年
8 赵华;应用OPC技术的PLC控制系统仿真研究[D];山东大学;2005年
9 张志锋;B方法和构件技术在信息系统形式化开发中的应用研究[D];西安理工大学;2006年
10 周建晖;公路隧道衬砌结构设计系统的研究与开发[D];同济大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 ;航天军转民数据库[J];军民两用技术与产品;2011年08期
2 刘开会;徐江峰;;改进的基于模函数的数据隐藏方案[J];计算机应用;2011年07期
3 陆熊;陈燕;黄晓梅;施玉霞;;关系代数中除法运算的教学探讨[J];现代计算机(专业版);2011年10期
4 ;Office加油站[J];电脑迷;2011年12期
5 盘青梅;;大型表SQL查询的优化与用户编写策略[J];太原城市职业技术学院学报;2011年08期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前5条
1 文欣;;Z规格说明中笛卡尔积算子自动求精的研究与实现[A];中国通信学会第五届学术年会论文集[C];2008年
2 王跃龙;韩希;;短语结构树到依存树的转换[A];第三届学生计算语言学研讨会论文集[C];2006年
3 段永强;马亚平;王世文;;基于智能模板的文图互生自动转换的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
4 姬东耀;蔡希尧;;一个概率关系专家数据库模型[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
5 邱保志;顾学春;;广义关系操作[A];第九届全国数据库学术会议论文集(上)[C];1990年
中国硕士学位论文全文数据库 前10条
1 文欣;Z规格说明中笛卡尔积算子自动求精的研究与实现[D];沈阳工业大学;2006年
2 于云赫;Z规格说明中关系和函数到C++STL的自动转换[D];沈阳工业大学;2007年
3 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
4 李巍巍;Z规格说明中集合论算子的自动求精研究及实现[D];沈阳工业大学;2005年
5 古丽;Z规格说明中序列和包的自动求精研究与实现[D];沈阳工业大学;2007年
6 刘艳平;基于C++STL技术实现Z形式规格说明求精变换的研究[D];湖南师范大学;2009年
7 蔡换换;基于映射的ArtiFlow向BPEL的转换方法[D];燕山大学;2010年
8 谢家俊;化学脚本语言到UDLC语言自动转换的研究[D];兰州大学;2012年
9 张英俊;用Agent连接件提高软件体系结构适应性研究[D];太原理工大学;2004年
10 陈爱国;软件测试与软件可靠性[D];西安电子科技大学;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026