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

基于构件设计的正确性验证

云晓春  方滨兴  
【摘要】:本文研究基于构件设计的正确性问题.我们首先建立一个构件描述的模型:(1)接口:通过对CORBA的IDL进行扩展,使其能够在构件的接口中同时描述构件的语法和语义信息;(2)实现:通过引入一个简单的程序模型,阐述如何利用子构件构造一个新的构件.然后我们考虑如何将构件的接口和实现联系起来:利用Hoare逻辑,验证一个构件的实现是否满足其接口中所给出的语义要求.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李桂丽,孙晓鹏,高晓峰;基于构件设计的思想[J];鞍山钢铁学院学报;2001年05期
2 李慧琪,李玉茜;C++和Java继承机制的比较[J];计算机工程;1997年S1期
3 杨志勇;;C#中的IEnumerable和IEnumerator接口[J];中文信息;2003年11期
4 张勇;;Java线程实现分析[J];办公自动化;2010年20期
5 颜瑞江;;Java中抽象类和接口的区别与联系[J];硅谷;2011年03期
6 王佳欣;邢丽;方宪哲;;Java中抽象类与接口的比较[J];中国科技信息;2007年04期
7 戴红芳;;Web应用程序中的数据库连接[J];福建电脑;2009年08期
8 于泳;杨明;贵献国;徐殿国;;基于FPGA的绝对式编码器智能接口设计[J];微特电机;2008年01期
9 夏加宽;李晓帆;;基于FPGA的RCN226绝对式编码器通信接口设计[J];电子技术;2009年07期
10 韩守红;唐力伟;郑海起;任国权;;Delphi与Matlab接口的实现方法研究[J];微计算机信息;2001年10期
11 屈保平;李晓明;裴文林;;一种航空数据总线检测仪的设计与实现[J];仪器仪表用户;2006年01期
12 熊开盛;董兆鑫;;基于USB接口的数据采集系统[J];电子工程师;2006年10期
13 徐超;张珂;江元;;基于JAVA的图形编辑程序的结构设计研究[J];计算机技术与发展;2009年07期
14 李凌;;深入解析C#中的Abstract Class与Interface[J];计算机与现代化;2009年12期
15 吴传红;;调度自动化系统主站与分站接口注意事项[J];计算机与信息技术;2010年12期
16 应可勇;于凤霞;;NVRAM读写卡的设计及实现[J];计算机应用研究;1998年05期
17 张素珍;;JAVA语言中接口的分析及使用[J];电脑知识与技术(学术交流);2006年17期
18 林凌;;综合网络激活系统的设计[J];福建电脑;2009年02期
19 涂志勇;杨明;李开颖;;地政监察信息系统的设计与实现[J];测绘通报;2009年07期
20 李景涛;韩英;;基于SPMC75F2413A单片机控制LCD液晶显示[J];仪表技术;2010年03期
中国重要会议论文全文数据库 前10条
1 曾凤括;李强;;坚持科学发展观 实现中部崛起[A];科技支撑 科学发展——2009年促进中部崛起专家论坛暨第五届湖北科技论坛文集[C];2009年
2 钟红;;电子病历的实现与探讨[A];中国医院协会病案管理专业委员会第15届全国病案管理学术会议论文集[C];2006年
3 樊云;;谈电子病案的实现[A];第二十届航天医学年会暨第三届航天护理年会论文汇编[C];2004年
4 高新亮;雷亮;蒙宇村;;ERP与MES在承钢的集成应用[A];中国计量协会冶金分会2009年年会论文集[C];2009年
5 伋金龙;;马钢二号连续热镀锌生产线自动控制及L2-L3接口的实现[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 孟肖敏;;新型排水管及其在工程中的应用[A];土木建筑学术文库(第7卷)[C];2007年
7 姚植兴;;高校辅导员队伍传承性研究及其实现[A];提高领导科学发展能力暨纪念新中国成立60周年理论研讨会论文集[C];2009年
8 张艳;崔东;王韵;王建生;;光电互感器在高压电流测量中的应用[A];2006全国电工测试技术学术交流会论文集[C];2006年
9 张建东;雷汛;廖闻剑;;一种基于Parlay X的业务生成环境的实现[A];中国通信学会第五届学术年会论文集[C];2008年
10 彭戎;;“双主”教学模式在高职高专课堂教学中的实现[A];云南省高等教育学会高职高专教育分会2008年优秀论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 黄菁;养成与反哺[D];西南大学;2008年
2 张淑梅;黑龙江垦区森林病虫害管理信息系统构建及应用研究[D];东北林业大学;2009年
3 徐阳扬;异步电路设计方法学研究[D];西安电子科技大学;2009年
4 岳程燕;电力系统电磁暂态与机电暂态混合实时仿真的研究[D];中国电力科学研究院;2005年
5 刘和春;连续切换二维毛细管电泳分离系统的构建[D];中国科学院研究生院(大连化学物理研究所);2005年
6 张雪;对话体语篇分析[D];华东师范大学;2006年
7 章敬平;论新闻自由[D];苏州大学;2007年
8 李华;法律视野下两宋与周边政权盟约研究[D];中国政法大学;2009年
9 黎荣;概念工艺规划原型系统关键技术研究[D];西南交通大学;2006年
10 赵京;西部经济发展中的政府作用[D];西北大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘鹏飞;基于GIS的开封市旅游信息系统研究[D];河南大学;2005年
2 唐丹;论电视语言的价值及其实现[D];中南大学;2005年
3 张洪峰;论立法机关的司法职能[D];苏州大学;2005年
4 王悦洲;中国农村教育与农业可持续发展[D];武汉大学;2005年
5 陈娟;任务型电子邮件语篇中的人际意义[D];对外经济贸易大学;2006年
6 张萍;有限责任公司股权质押效力问题研究[D];中国政法大学;2006年
7 胡桂芳;网络教学支持平台的设计与实现[D];华中师范大学;2005年
8 黄涛;面向应用级QoS中间件平台的解决方案[D];广东工业大学;2005年
9 程勤;论社会主义市场经济条件下公平与效率同一性的实现[D];武汉大学;2004年
10 廖赛娟;传统文化在现代大学中的教育价值及其实现[D];武汉理工大学;2006年
中国重要报纸全文数据库 前10条
1 本报记者 余侃;借力“333”系统无短板[N];中国电脑教育报;2009年
2 於红斌 本报特约记者 丁顺国;为战时保障预留接口[N];解放军报;2009年
3 本报记者 梁靓;DiiVA接口加速普及 中国增强话语权[N];中国电子报;2009年
4 胡强;手机充电器标准升级有望年内获批[N];经理日报;2009年
5 中国软件评测中心媒体测试部;以最精简配置 提供最高性价比[N];中国计算机报;2008年
6 杜树臻 张立平;抓好接口补差训练[N];中国国防报;2001年
7 王松涛;重庆:家装应设置信息化接口[N];中国建设报;2008年
8 本报记者 胡强;手机充电器标准升级年内完成[N];通信产业报;2009年
9 本报记者 胡强;手机充电器接口年内统一[N];通信产业报;2009年
10 何丹婵 实习生 姜樊;DiiVA接口将看电视转为用电视[N];科技日报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978