金淳兆
- 作品数：35 被引量：269H指数：8
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- 基于构件的软件重用
- 全柄哲余江金淳兆
- 关键词：程序语言软件工程程序设计
- 强类型面向对象程序设计语言——Toop
- 1992年
- 本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。
- 全炳哲金淳兆
- 关键词：面向对象语言
- 一种支持业务过程设计的数据库集成自动化模型
- 2003年
- 针对常见的受限树状组织结构,提出能够使分散在各节点的数据库应用系统有效集成的一种自动化方法.该方法支持数据流程定义,从而支持业务过程重组.该方法也支持数据集成系统的批量部署,为大规模异地数据库应用系统的集成提供了有效的途径.
- 金成柏庞广臣孙新金淳兆
- 关键词：数据库应用系统业务过程重组数据流程数据集成
- 一个通用的基于知识的查询系统模型Genknowle及它的内核的实现
- 1992年
- 本文提出了一个通用的、基于知识的查询系统模型Genknowle,并介绍了该系统内核部分的设计和实现。内核包括对于事实和规则的组织管理,推理机等,都是通用的。在此基础上增加一个输入子系统和用户查询接口部分,即可构成一个专用的基于知识的查询系统。
- 余江全炳哲金淳兆
- 关键词：推理机查询系统知识库
- 一种面向对象程序自动化方法的研究被引量：6
- 1997年
- 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。
- 全炳哲金淳兆玄顺姬
- 关键词：面向对象程序设计程序自动化软件自动化
- 软件体系结构的研究与发展现状被引量：12
- 1998年
- 软件休系结构是由 Edsger Dtikston于1968年首次提出的,当时他正在描述一个操作系统,井第一次提出层次结构,他指出,人们更应关注软件系统是如何划分与组合的,而不是仅仅限制在编程上。
- 王昕金淳兆
- 关键词：软件体系结构软件工程软件开发
- 基于构件的软件重用被引量：4
- 1991年
- 本文简单介绍了可重用构件描述语言Recos,并着重讨论了可重用库的管理和基于可重用构件的软件组装问题.
- 全炳哲余江金淳兆
- 面向对象的设计方法及有关语言的讨论
- 1989年
- 本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。
- 金淳兆全炳哲余江
- 关键词：面向对象程序设计语言
- 一个安全的基于任务描述的移动代理系统
- 2007年
- 为解决移动代理技术中的安全问题提出了一种全新的基于任务描述的移动代理定义和实现方法,据此设计并实现了一个安全的移动代理系统。该系统通过中介/管理Agency统一派发代理,借鉴Java 2安全模型进行本地资源保护,利用信任模型管理并调整系统中平台之间的信任关系。它可以保证平台的安全,也可以利用事后的检测手段发现对代理的攻击,同时利用信任模型调整对恶意平台的信任度来维护整个系统的安全运行。
- 车海燕李大利金淳兆于海波
- 关键词：移动代理信任模型
- 面向对象软件的形式规格说明技术被引量：3
- 1995年
- 本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z^(++),是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。
- 全炳哲金淳兆
- 关键词：软件工程面向对象软件形式规格说明
