全炳哲
- 作品数：21 被引量：131H指数：6
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学文学更多>>
- 软件重用技术被引量：1
- 1989年
- 软件重用技术是软件工程领域中一个目前比较活跃的分支,它以提高软件生产率,增加软件的可靠性为主要目标。近年来在国内外都有较快的发展。本文较全面地综述了软件重用的各种途径,现有的一些主要方法,以及可能产生的某些问题。
- 金淳兆余江全炳哲
- 关键词：软件工程
- 面向对象软件规格语言的设计被引量：8
- 1995年
- 本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需求规格、概要设计和详细设计．从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了ＯＯ开发模型中需求和设计之间的重叠．在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示．ＪＯＯＳＬ认为对象是一种抽象的状态机，继承是行为特性的共享．
- 全炳哲金淳兆
- 关键词：面向对象程序语言
- 基于知识的可重用构件查询系统KCQ被引量：4
- 1994年
- 本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．
- 余江全炳哲金淳兆
- 关键词：可重用构件
- 基于类型理论的继承机制的研究
- 1998年
- 本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．
- 全炳哲金淳兆玄顺姬
- 关键词：面向对象程序设计程序自动化
- 基于Tableau方法的程序综合系统──DTPS被引量：2
- 1997年
- 本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统——ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象．如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序．
- 赵莹全炳哲金淳兆
- 关键词：TABLEAU方法软件自动化
- 强类型面向对象程序设计语言——Toop
- 1992年
- 本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。
- 全炳哲金淳兆
- 关键词：面向对象语言
- 面向对象的设计方法及有关语言的讨论
- 1989年
- 本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。
- 金淳兆全炳哲余江
- 关键词：面向对象程序设计语言
- 基于类型理论的面向对象程序设计的研究
- 全炳哲
- 关键词：面向对象程序设计
- 面向对象软件的形式规格说明技术被引量：3
- 1995年
- 本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z^(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。
- 全炳哲金淳兆
- 关键词：软件工程面向对象软件形式规格说明
- 面向对象类型理论的比较研究被引量：4
- 1997年
- 人们已提出各种支持面向对象程序设计的类型理论．但每种类型理论的侧重点不尽相同，它们均能解决面向对象程序设计的某些方面的问题．本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础．
- 全炳哲金淳兆玄顺姬
- 关键词：面向对象程序设计形式化方法
