排序方式: 共有19条查询结果,搜索用时 15 毫秒
1.
面向对象软件的形式规格说明技术 总被引:1,自引:0,他引:1
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z~(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。 相似文献
2.
3.
面向对象类型理论的比较研究 总被引:3,自引:0,他引:3
人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同,它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度,着重分析讨论抽象数据类型、记录演算和对象演算,为进一步研究关于面向对象程序设计的类型理论提供基础。 相似文献
4.
本文简单介绍了基于Tableau方法的程序综合系统-DTPS.DTPS系统以定理证明为基础,为构造一个满足程序规约的程序,只需证明的确存在一个满足条件的对象。如果这个证明存在,那么从证明中可抽取出一个满足该程序规约的程序。 相似文献
5.
6.
7.
本文提出了一种构造性类型理论TTOOP,引入了类现规类型和类类型的概念。类是类规约类型的元素,它又是一类型,类的元素为对象。通过证明类可构造类,由此构造面向对象软件。 相似文献
8.
面向对象详细设计及自动转换的研究 总被引:5,自引:0,他引:5
本文讨论了面向对象详细设计的规约方法,并提出了详细设计到代码的自动方法,文中(1)提出了一种详细设计形式规约语言JOODDL其中引入了受限谓词的概念和称为compute语句的控制抽象机制,由此提高描述的抽象级。(2)提出了相关性及有效序的概念,并基于它们解决了自动转换中目标代码的重用问题,提高了转换效率。(3)提出了基于知识的一种过程式转换技术。 相似文献
9.
面向对象的设计方法及有关语言的讨论 总被引:1,自引:0,他引:1
本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。 相似文献
10.