收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

XYZ/AE描述程序性质的探讨

左春华  张广泉  戎玫  
【摘要】:为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它能与可执行语言XYZ/EE结合,描绘程序中间程度的抽象性,具有很好的扩展性。文章从上述几方面探讨了XYZ/AE描述程序性质的能力。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左春华;张广泉;郭亮;;用于C语言程序验证的性质描述语言C-PDL[J];苏州大学学报(自然科学版);2007年03期
2 张广泉,郑建丹,舒明;基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述[J];重庆师范学院学报(自然科学版);2001年03期
3 周晓娟,毛劲松,田春鸣;操作系统中P、V操作的研究[J];现代电子技术;2001年08期
4 王琳;Java多线程机制及其应用[J];武汉理工大学学报(信息与管理工程版);2003年05期
5 杜晶,覃业英;浅析pv操作在实际生活中的若干应用[J];湖北教育学院学报;2005年05期
6 朱敬鹏,乔丽,王铁柱;使用P、V操作解决经典进程同步问题[J];商丘师范学院学报;2005年02期
7 江志华;;浅谈类比教学法在操作系统教学中的应用[J];福建电脑;2008年08期
8 张颖江,贾亦青;网络数据库并发控制原理及序号生成[J];湖北工学院学报;1999年03期
9 徐衡平,戎蒙恬;VC++下通用串口通信类的多线程实现[J];计算机应用;2001年06期
10 张广泉,唐稚松;基于时序逻辑语言XYZ/E的软件体系结构描述方法[J];淮阴师范学院学报(自然科学版);2002年01期
11 麻孜宁;伊浩;李祥;;Java多线程并发系统中的安全性与公平性[J];计算机技术与发展;2006年02期
12 胡吉明;毕伟;;分布式互斥算法的研究与改进[J];计算机与现代化;2006年06期
13 王溪波;于洋;于戈;;基于优先级的Java线程唤醒机制研究与实现[J];沈阳建筑大学学报(自然科学版);2008年02期
14 费洪晓;刘鹏;蒋慧芳;;一种基于读写互斥的分布式互斥算法[J];计算机时代;2009年03期
15 程晓锦;;“读者-写者”问题的Java实现[J];北京印刷学院学报;2010年04期
16 曹建立;周震;;用Java的Guarded Suspension模式解决哲学家进餐问题[J];洛阳师范学院学报;2006年02期
17 陶毅;杨红雨;胡术;;一种基于语法扩展的自动互斥锁实现机制[J];四川大学学报(自然科学版);2008年03期
18 刘珊艳;张广泉;;基于时序逻辑语言XYZ/E的实时系统应用研究[J];重庆师范大学学报(自然科学版);2006年03期
19 张会;李思昆;;描述任务逻辑及其应用[J];计算机学报;2006年03期
20 杨延双;李荣甫;冯新;张晶;;基于Web服务的企业动态供应链管理系统的实现[J];北京工业大学学报;2006年05期
中国重要会议论文全文数据库 前10条
1 任永杰;黄锦辉;刘文卓;;适合中国本土化环境的工作流模型与描述语言[A];第十六届全国数据库学术会议论文集[C];1999年
2 李冬霞;;可复用雷达情报处理系统设计[A];中国电子学会第七届学术年会论文集[C];2001年
3 郝长伶;董强;;知网知识库描述语言[A];语言计算与基于内容的文本处理——全国第七届计算语言学联合学术会议论文集[C];2003年
4 杨正凯;;一种新的二维表关系描述语言[A];推进铁路新跨越加快经济大发展——中国科协2004年学术年会铁道分会场论文集[C];2004年
5 文勇;韦卫星;;股票交易方案评估系统的设计与实现[A];广西计算机学会2005年学术年会论文集[C];2005年
6 熊文新;;提升自然语言向中间语言转换准确性的增强处理[A];第二届全国学生计算语言学研讨会论文集[C];2004年
7 高丽娟;刘燕军;陈志成;;构件互操作描述语言的定义与实现[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
8 张永铮;方滨兴;云晓春;;基于XML的计算机弱点形式化描述语言CVDL[A];全国网络与信息安全技术研讨会论文集(上册)[C];2007年
9 赵蕊;孙振华;李新明;;脆弱性描述语言浅析[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
10 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
2 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
3 苏铭;对IA-64结构特性优化代码的二进制翻译技术研究[D];解放军信息工程大学;2006年
4 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
5 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
6 于洋;整体结构及其表示与推理[D];国防科学技术大学;2007年
7 胡建强;Web服务发现若干关键技术研究[D];国防科学技术大学;2005年
8 江志雄;基于动态语义的Web服务描述[D];复旦大学;2008年
9 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年
10 丁柯;网络分布计算中的事务工作流研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 王彬;基于规则的动态数据采集技术及其在出版统计中的应用[D];南京理工大学;2004年
2 张子振;基于OWL的本体进化研究[D];中国海洋大学;2007年
3 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
4 于水明;本体驱动的语义查询系统的设计实现[D];大连海事大学;2007年
5 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
6 刘晋汾;处理器描述语言的研究与应用[D];解放军信息工程大学;2011年
7 李辉;基于UML和时序逻辑语言的银行ATM系统描述与求精[D];苏州大学;2007年
8 唐强;诉的利益研究[D];西南政法大学;2008年
9 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
10 刘堃;Java程序部分求值描述语言及其应用框架[D];北京工业大学;2003年
中国重要报纸全文数据库 前10条
1 清华大学计算机系知识工程组 仲茜李涓子;语义Web中的本体建立技术[N];计算机世界;2007年
2 刘岩;毕其功于一役[N];中华建筑报;2001年
3 夏菡;说给自己听[N];大众科技报;2001年
4 齐建荣;默默凝视让孩子去体会[N];保健时报;2005年
5 (美)克劳蒂娅;多跟婴儿说话使他更聪明[N];中国教育资讯报;2002年
6 王震;聘请家教当谨慎[N];江苏科技报;2003年
7 本报记者 弈路;效能至上[N];中国财经报;2002年
8 马克 编译;请对孩子说完整的话[N];中国教育资讯报;2002年
9 飘零雪;微软发布6大高危漏洞补丁[N];中国计算机报;2005年
10 本报记者 谌力;标准太多[N];网络世界;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978