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

XYZ/E面向对象程序语义概述

郭亮  唐稚松  
【摘要】：XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 万剑怡,孙永强,薛锦云;一种从Z规约到并行程序的精化方法[J];软件学报;2002年11期
2 罗蜜,张为群;结合形式化方法的UML系统开发[J];西南师范大学学报(自然科学版);2003年02期
3 陶先平,张建莹;一种层次式面向对象需求模型的设计[J];南京大学学报(自然科学版);2000年02期
4 虞慧群,宋国新,邵志清;MRPII系统开发的一种形式化方法[J];华东理工大学学报;1998年03期
5 宣兆成;;基于几何质量和后验误差的网格优化设计[J];天津工程师范学院学报;2005年04期
6 杨丹;梁洪峻;;一个抽象机库中B方法的研究[J];微计算机应用;2007年10期
7 武妍,施鸿宝;一种保证隶属度函数完备性和模糊集合语义一致性的学习方法[J];计算机研究与发展;1999年09期
8 孙猛;杨红丽;张乃孝;裘宗燕;;基于UML的软件结构规范与精化(英文)[J];北京大学学报(自然科学版);2007年01期
9 孙猛;杨红丽;张乃孝;裘宗燕;;基于UML的软件结构规范与精化(英文)[J];北京大学学报(自然科学版)网络版(预印本);2006年04期
10 吴帅;杨庆红;樊艳芬;;B方法规格说明的构造及应用[J];计算机与现代化;2007年05期
11 钱俊彦;徐宝文;;基于完备抽象解释的模型检验CTL公式研究[J];计算机学报;2009年05期
12 郭正虎;陈中育;张纪昌;;基于事件的局部行为模型的合并[J];计算机应用;2010年01期
13 陈曙;毋国庆;肖晶;;基于时序逻辑的软件行为需求描述[J];计算机与数字工程;2008年10期
14 陈立哲;马永刚;;一种支持用例分析技术的需求元模型[J];计算机应用与软件;2011年05期
15 古思山;蔡树彬;李师贤;;一种AOP方面的代数语义[J];计算机科学与探索;2011年10期
16 王艳东;龚健雅;戴晶晶;;基于本体的空间数据语义查询研究[J];测绘信息与工程;2007年02期
17 吴青;王丽一;翟建设;;协同编辑中的语义一致性问题[J];计算机应用研究;2007年04期
18 丁湘陵;王志刚;;基于B语言的构件精化开发方法[J];电脑知识与技术(学术交流);2007年21期
19 王爱娟;刘俊轩;;基于语义一致性的模型映射方法[J];中国科技信息;2008年18期
20 朱雪阳,唐稚松;基于时序逻辑的软件体系结构描述语言XYZ/ADL[J];软件学报;2003年04期
中国重要会议论文全文数据库 前10条
1 冯雅慧;顾宁;;基于树型结构的共享文档副本的语义一致性维护[A];第二十四届中国数据库学术会议论文集（研究报告篇）[C];2007年
2 杨光;林鸿;方锋;;广州市似大地水准面精化及成果应用[A];现代空间定位技术应用研讨交流会论文集（第5卷 第3集）[C];2007年
3 甄登春;;初探重庆主城区的似大地水准面精化[A];重庆市测绘学会第三届优秀论文评选获奖论文暨2005-2006年度学术交流会论文选编[C];2008年
4 张全德;;精化区域似大地水准面技术方法与设计[A];中国测绘学会2006年学术年会论文集[C];2006年
5 范新云;;GPS水准法拟合似大地水准面精化的研究[A];第二十一届海洋测绘综合性学术研讨会论文集[C];2009年
6 范新云;;GPS水准法拟合似大地水准面精化的研究[A];中国航海学会航标专业委员会测绘学组学术研讨会学术交流论文集[C];2009年
7 张全德;郭春喜;王斌;陈现军;;华北地区似大地水准面精化[A];中国测绘学会2006年学术年会论文集[C];2006年
8 江东;王庆宾;王凯;;重力场精化的空间插值方法研究[A];中国测绘学会2010年学术年会论文集[C];2010年
9 雷伟伟;郑红晓;陈虎;;区域似大地水准面精化模型算法的优选[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
10 郑祎;;TOPCON大地水准面精化归算软件[A];第二届“测绘科学前沿技术论坛”论文精选[C];2010年
中国博士学位论文全文数据库 前10条
1 鹿旭东;用户界面模型语义一致性研究[D];山东大学;2010年
2 石振国;资源网络的精化学习及应用研究[D];上海大学;2011年
3 杨静;UML模型的语义模型[D];贵州大学;2006年
4 王帅强;基于进化计算的行为模型自动精化和排序学习方法的研究[D];山东大学;2009年
5 周倜;复杂安全协议的建模与验证[D];国防科学技术大学;2008年
6 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年
7 郭刚;综合自然环境建模与仿真研究[D];国防科学技术大学;2004年
8 伍建焜;网构软件系统构建的形式化分析研究[D];上海交通大学;2009年
9 鲍爱华;语义Web环境下组合服务演化方法及其关键技术研究[D];国防科学技术大学;2009年
10 莫同;服务模型驱动的体系结构与服务构件重用技术[D];哈尔滨工业大学;2009年
中国硕士学位论文全文数据库 前10条
1 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
2 吴海涛;区域大地水准面精化理论与应用[D];太原理工大学;2007年
3 陈枢茜;基于UML和XYZ/ADL的软件体系结构描述及精化研究[D];苏州大学;2007年
4 杨丹;论B方法在抽象机库中的实践与应用[D];天津大学;2007年
5 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
6 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
7 卞整序;B语言与方法在算法形式化中的应用研究[D];天津大学;2007年
8 滕腾;形式化B方法验证技术研究及其应用[D];扬州大学;2008年
9 段宏立;道义逻辑[D];西南大学;2006年
10 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
中国重要报纸全文数据库 前10条
1 ;汽巴精化[N];国际商报;2000年
2 记者 翟敏;仍在核查签约方 彩虹精化20亿订单“蜗行”[N];上海证券报;2011年
3 记者 翟敏;彩虹精化与乘苏达解约[N];上海证券报;2011年
4 记者 翟敏;彩虹精化20亿元巨额订单全部解除[N];上海证券报;2011年
5 记者 杨勇;“乌龙合同”涉嫌虚假信披 彩虹精化复牌地量跌停[N];第一财经日报;2011年
6 梅雪荣;彩虹精化：无奈踏上回归路？[N];中国经济时报;2011年
7 记者 施浩;产能释放+毛利提升 天马精化今年业绩或超预期[N];上海证券报;2011年
8 记者 魏梦杰;复牌四跌停 彩虹精化昨获游资“扫货”[N];上海证券报;2011年
9 记者 吴正懿;天马精化拟5600万购纳百园100%股权[N];上海证券报;2011年
10 记者 翟敏;深交所发布公告公开谴责彩虹精化“订单门”[N];上海证券报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）