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

一个基于组件设计的模型

云晓春  胡铭曾  
【摘要】:随着软件规模的愈发庞大,现代的软件系统正日益倾向于利用已存的组件构造软件,以便促进软件生产率和质量的提高.一个组件提供了一组操作来对其内部状态进行读写,其中任何一个操作都是基于若干子组件构造而成.在此前提下,本文提出一个利用已存组件进行重用设计的简单模型.在该模型中,首先建立关于组件的三级描述:接口、说明和实现,这三级描述代表了对于组件的不同抽象层次;然后提出一种验证组件语义的策略:利用Hoare逻辑,并根据组件实现中所包含的所有子组件的说明,计算该组件说明,该策略为保障软件的正确性提供了方法论基础.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘国梁,郑洪源,丁秋林;基于组件设计的数控仿真系统研究与应用[J];微机发展;2005年06期
2 苏年乐;雷永林;李群;王维平;;模型驱动架构在建模仿真中的应用[J];计算机仿真;2007年12期
3 杨济;张悠慧;汪东升;;提高SoC设计效率的基于组件方法综述[J];计算机工程与设计;2007年15期
4 钱华林;;TTL集成电路的低频浮空失真[J];计算机研究与发展;1978年08期
5 任健,徐国定;JAVA入门讲座(上)[J];计算机周刊;1997年08期
6 魏文柏;Delphi 3 Client/Server Suite专题讲座(三)——数据库和报表功能(上)[J];电子与电脑;1998年09期
7 骆文俊,黄上腾;基于MTS构建分布式医疗信息系统[J];计算机工程;2000年05期
8 庄文君;;SCO OPENSERVER下发布软件的制作方法[J];金融电子化;2000年06期
9 徐凤生;文字测试系统的实现[J];德州学院学报;2001年04期
10 沈洲,王永成,刘功申;一种有效的字符串有序跳跃模式近似匹配算法[J];数据采集与处理;2001年04期
11 grhunter;大鱼儿;;Delphi MTS/COM+——从理论到实践[J];软件;2001年07期
12 ;工具/开发软件[J];中国电子商情;2001年01期
13 谢规良,陈晓丽,孙树栋;基于组件的库存信息管理系统[J];计算机工程;2003年15期
14 刘惠义,吴功兴;基于三层结构证券交易系统的应用研究[J];计算机与现代化;2003年01期
15 邱岩;组件技术及其分析比较[J];计算机工程与设计;2003年07期
16 孔梦荣,缑西梅,杜献峰,齐辉;基于组件技术概念的软件工程[J];水利电力机械;2003年04期
17 马太盖拉 ,强尼兰姆 ,法兰克欧文;PPTC组件在锂离子电池组短路及过充电保护中的应用[J];电子设计应用;2003年06期
18 ;元器件与组件[J];今日电子;2004年08期
19 庞善臣,蒋昌俊,宫丽华;基于过程组件的物流管理系统模型设计及分析[J];山东科技大学学报(自然科学版);2004年01期
20 赵阳;;基于可扩展OAI的开放数字图书馆的服务协议——ODL协议研究[J];图书馆杂志;2004年05期
中国重要会议论文全文数据库 前10条
1 黄国华;杨畅民;陈文志;;晶体硅光伏电池和组件缺陷的检测系统设计与实现[A];第十届中国太阳能光伏会议论文集:迎接光伏发电新时代[C];2008年
2 张慧娟;滕光辉;;工厂化农业技术标准查询组件的开发[A];农业工程科技创新与建设现代农业——2005年中国农业工程学会学术年会论文集第五分册[C];2005年
3 肖久灵;汪建康;;供应链柔性组件及特性[A];上海海事大学“上海石化杯”优秀论文集[C];2005年
4 叶伟松;袁慎芳;;无线传感网络操作系统研究[A];江苏省计量测试学会2005年论文集[C];2005年
5 徐晟;吴传胜;陈岳阳;崔雷;;MVC设计模式在Web系统中应用[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
6 袁发健;汤浩;;2-18GHz频分检波组件的设计[A];2001年全国微波毫米波会议论文集[C];2001年
7 朱嫄;高建华;;基于组件的软件测试时间分配策略研究[A];第十届全国容错计算学术会议论文集[C];2003年
8 于东;郭锐锋;杨建刚;吴文江;;基于实时组件开放式数控系统参考框架的设计与实现[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
9 郭风华;李仁杰;张军海;;石家庄市公共游憩空间Web服务系统研究[A];第十五届全国遥感技术学术交流会论文摘要集[C];2005年
10 李本勇;;Web开发世界的创举—JSF[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
中国博士学位论文全文数据库 前10条
1 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
2 杨艳萍;自动Web服务组合关键技术研究[D];国防科学技术大学;2007年
3 连继勤;人层粘连蛋白α4链LG4-5组件的克隆与表达研究[D];中国人民解放军军需大学;2003年
4 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年
5 刘英敏;基于GIS和RS的数字流域构建关键技术研究与实践[D];吉林大学;2006年
6 司书宾;基于故障预测的装备维修备件协同库存控制系统研究[D];西北工业大学;2006年
7 刘华;面向域的快速造型技术研究[D];浙江大学;2007年
8 张艳宇;人层粘连蛋白α4链LG1-3组件的研究[D];中国人民解放军军需大学;2003年
9 范国闯;Web应用服务器关键技术研究[D];中国科学院研究生院(软件研究所);2004年
10 闵春平;基于本体的跨领域虚拟样机技术研究[D];国防科学技术大学;2003年
中国硕士学位论文全文数据库 前10条
1 田建英;机械三维产品数据管理系统(PDM)[D];新疆大学;2005年
2 林泽明;基于Internet组件的动态Web数据库应用系统的研究与设计[D];合肥工业大学;2001年
3 邓磊;COM技术及其在打印组件系统中的应用研究[D];西北工业大学;2002年
4 屈万一;电力系统远动规约研究及其实现[D];武汉大学;2004年
5 赵常思;ERP中组件技术的研究[D];上海海事大学;2004年
6 曾祥辉;面向对象的电力系统图形软件的研究与开发[D];华北电力大学(河北);2004年
7 李德;基于J2EE的物流信息管理系统[D];北京师范大学;2005年
8 张文;Geodatabase模型在河口海岸地理信息系统数据库设计中的应用[D];华东师范大学;2005年
9 张大明;面向服务的企业分布式应用体系结构研究[D];辽宁工程技术大学;2005年
10 雷丽艳;职业学院学费管理信息系统的设计与开发[D];华中师范大学;2005年
中国重要报纸全文数据库 前10条
1 潘忠颖 闫晓燕;敏像科技组建手机组件工程技术研究中心[N];中国高新技术产业导报;2009年
2 记者 李淼;开心网引入工具类组件向实用化发展[N];中国新闻出版报;2010年
3 记者 徐红;美最大薄膜电站用上中国电池组件[N];中国化工报;2011年
4 杨洋 韩瀚;天威薄膜公司独家提供组件[N];河北日报;2011年
5 记者 王玉亮 通讯员 梁敏 郗文勇;天威组件建起德国最大薄膜电站[N];河北日报;2011年
6 汤静亿;卸载QQ2004 II里面的组件[N];中国电脑教育报;2005年
7 安徽 高伟;隐藏组件也无处可逃[N];电脑报;2004年
8 记者 徐萍;业务基础组件平台入选“863”计划[N];计算机世界;2005年
9 记者 吴菁;晶科组件已进入以色列银行列表[N];上饶日报;2010年
10 李伟科;光驱头组件被卡住的处理[N];大众科技报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978