首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  完全免费   10篇
  自动化技术   16篇
  2006年   2篇
  1999年   1篇
  1996年   5篇
  1995年   2篇
  1994年   1篇
  1993年   3篇
  1992年   1篇
  1991年   1篇
排序方式: 共有16条查询结果,搜索用时 31 毫秒
1.
对象语义理论和行为约束推理   总被引:16,自引:1,他引:15  
冯玉琳  李京 《计算机学报》1993,16(11):823-838
本文基于时序模型观点建立对象语义理论,将对象定义为对象操作,对象属性和对象踪迹的集合,并由此给出对象继承,对象复合等概念的语义解释。对象类型是满足一组对象约束的同类对象的集合。有两类不同的对象约束:状态约束表示对象属性之间的关联,而时序约束则表示事件操作之间的时序关联。文章最后用例子表明对象约束推理应用。  相似文献
2.
面向对象的组合软件工程研究   总被引:14,自引:0,他引:14  
冯玉琳  黄涛 《计算机学报》1996,19(3):237-240,F003
组合软件工程技术是当今软件工程技术发展的主流。本文综述了作者在基于对象的组合软件工程研究方面的最新进展,包括语义模型、描述语言、设计方法学和支持环境等方面。  相似文献
3.
面向对象的软件构造   总被引:9,自引:1,他引:8       下载免费PDF全文
冯玉琳  黄涛  李京 《软件学报》1996,7(3):129-136
面向对象技术的发展改变了传统软件系统的结构和设计方法学.本文作者提出一种称为SCOP的面向对象的软件系统结构模式,即软件是对象模块的复合,而软件设计则是对象模块经过程控制进行复合的构造生成.本文从语义模型、描述语言、设计方法学和支持环境等几方面对SCOP进行扼要的介绍.  相似文献
4.
基于IEEE802.15.4的Ad hoc网络路由协议研究   总被引:6,自引:4,他引:2  
Adhoc网络是一个自组织、动态拓扑变化的网络。由于具有低成本、低功耗的特点,基于IEEE802.15.4的Adhoc网络将得到广泛的应用。文章在分析AODV协议的基础上,提出了适合基于IEEE802.15.4的Adhoc网络的M-AODV协议。并在NS-2中对该协议作了仿真,在性能上和AODV协议作了比较。  相似文献
5.
对象描述语言及其指称描述   总被引:3,自引:1,他引:2       下载免费PDF全文
黄涛  冯玉琳  倪彬  李京 《软件学报》1996,7(10):577-586
在面向对象的软件构造中,对象被视为软件系统的基本构件.本文提出对象规范描述语言ODL(objectdescriptionlanguage),并给出其主要结构的SOP指称描述.SOP演算的理论范集给出对象的形式描述.SOP理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性(结构)和动作(行为)得以统一.对象聚合提供了由已有对象描述构造复杂对象描述的机制;而继承则可以扩充给定的对象描述并保持原描述的特性.此外,本文还区分了继承和子类这2个相似而又不尽相同的概念.  相似文献
6.
对象形式语义模型*   总被引:3,自引:2,他引:1       下载免费PDF全文
黄涛  冯玉琳  李京 《软件学报》1995,6(Z1):207-212
在面向对象的软件构造中,对象被视为软件系统的基本构件本文给出一个对象形式语义模型,对象被定义为封装属性和行为的实体,对象行为必须满足给定的静态约束和时序约束;基于对象态射,本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。  相似文献
7.
代数规范与对象行为约束   总被引:1,自引:0,他引:1  
冯玉琳 《计算机学报》1992,15(12):889-897
本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.  相似文献
8.
SCOP对象管理系统   总被引:1,自引:0,他引:1       下载免费PDF全文
黄涛  陈家晚  冯玉琳 《软件学报》1996,7(12):714-721
对象管理系统OMS(objectmanagementsystem)是SCOP组合框架软件的核心.本文简要介绍SCOP对象管理系统的设计与实现,包括内存对象管理系统、外存对象管理系统以及基于Client/Server的并发库系统等.  相似文献
9.
1IntroductionOverthepastfewyears,constructingapplicationsbyassemblingreusablesoftwarecom-poneatshasemergedaswidelyacceptedmethodology,bywhichsomesimplecomponentsaregluedtogetherintomoresophisticatedcomponents.Componentsaretheunitsofap-plicationsoftwareortheappletsthatcouldbeembeddedintocompounddocuments.Theycouldbespecifiedandimplementedconvenielltlycompliedwithsomecomponentstandards,suchasJavaBeaus[1],COBRA/OpenDoc,COM/ActiveX,etc.DifferentstandardsprovidedifferentarchitecturesandtheAP…  相似文献
10.
面向对象的用户界面设计是面对象领域的一大热点。本文基于SOP模型探讨由界面构件组装构造用户界的方法,本文首先简单介绍SOP软件构造模型,然后介绍通用界面对象类库的设计和实现,并利用此类库中的构件按SOP方法为SOP软件开发环境实现一个图形用户界面。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号