首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   13篇
  免费   2篇
  国内免费   4篇
自动化技术   19篇
  1998年   1篇
  1997年   6篇
  1996年   4篇
  1995年   3篇
  1994年   2篇
  1992年   1篇
  1991年   1篇
  1989年   1篇
排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
面向对象软件的形式规格说明技术   总被引:1,自引:0,他引:1  
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。  相似文献   
2.
基于知识的可重用构件查询系统KCQ   总被引:1,自引:0,他引:1       下载免费PDF全文
本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统,本系统采用了语义网络知识表示模型,提供了构件知识表示语言CKRL,来描述可重用构件的特征和用于检索的知识.提供了语义网络联想式查询、条件查询和构件评价.  相似文献   
3.
面向对象类型理论的比较研究   总被引:3,自引:0,他引:3  
人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同,它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度,着重分析讨论抽象数据类型、记录演算和对象演算,为进一步研究关于面向对象程序设计的类型理论提供基础。  相似文献   
4.
本文简单介绍了基于Tableau方法的程序综合系统-DTPS.DTPS系统以定理证明为基础,为构造一个满足程序规约的程序,只需证明的确存在一个满足条件的对象。如果这个证明存在,那么从证明中可抽取出一个满足该程序规约的程序。  相似文献   
5.
一种面向对象程序自动化方法的研究   总被引:3,自引:0,他引:3  
构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法.  相似文献   
6.
基于类型理论的面向对象程序设计   总被引:2,自引:1,他引:1  
构造性类型理论可作为程序开发的理论基础,其中类型作为程序规约,证明过程作为程序开发过程,从证明抽取满足程序规约的程序.本文提出了一种构造性类型理论TTOOP,引入了类规约类型和类类型的概念.类是类规约类型的元素,它又是一种类型,类的元素为对象.通过证明类规约可构造类,由此构造面向对象软件.  相似文献   
7.
本文提出了一种构造性类型理论TTOOP,引入了类现规类型和类类型的概念。类是类规约类型的元素,它又是一类型,类的元素为对象。通过证明类可构造类,由此构造面向对象软件。  相似文献   
8.
面向对象详细设计及自动转换的研究   总被引:5,自引:0,他引:5  
本文讨论了面向对象详细设计的规约方法,并提出了详细设计到代码的自动方法,文中(1)提出了一种详细设计形式规约语言JOODDL其中引入了受限谓词的概念和称为compute语句的控制抽象机制,由此提高描述的抽象级。(2)提出了相关性及有效序的概念,并基于它们解决了自动转换中目标代码的重用问题,提高了转换效率。(3)提出了基于知识的一种过程式转换技术。  相似文献   
9.
面向对象的设计方法及有关语言的讨论   总被引:1,自引:0,他引:1  
本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。  相似文献   
10.
全炳哲  陈伟 《计算机学报》1996,19(11):833-840
通过证明程序规约的方法可构造相应程序,但对“难题”和无证明的规约,无法使用这种方法构造程序,另一方面,如果可构造程序规约的验证程序,则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法,作为研究程序自动佛的一种途径。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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