搜索筛选:
搜索耗时0.0978秒,为你在为你在102,285,761篇论文里面共找到 24 篇相符的论文内容
发布年度:
[期刊论文] 作者：金淳兆,余江,
来源：计算机科学 年份：1989
软件重用技术是软件工程领域中一个目前比较活跃的分支,它以提高软件生产率,增加软件的可靠性为主要目标。近年来在国内外都有较快的发展。本文较全面地综述了软件重用的各种...
[期刊论文] 作者：王黎明,金淳兆,
来源：吉林大学研究生论文集刊 年份：1989
...
[期刊论文] 作者：王昕,金淳兆,
来源：计算机科学 年份：1998
软件休系结构是由 Edsger Dtikston于1968年首次提出的,当时他正在描述一个操作系统,井第一次提出层次结构,他指出,人们更应关注软件系统是如何划分与组合的,而不是仅仅...
[期刊论文] 作者：全炳哲,金淳兆,
来源：计算机学报 年份：1997
本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类现规类型和类类型的概念。类是类规约类型的元素，它又是一类型，类的元素为对象。通过证明类可构造类，由此构造面向对象软件。......
[期刊论文] 作者：全炳哲,金淳兆,
来源：吉林大学自然科学学报 年份：1992
本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。...
[期刊论文] 作者：全炳哲,金淳兆,
来源：软件学报 年份：1995
本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需规格、概要设计和详细设计，从描述方法角度看，需求规格和概要设计的描棕在很大程度相同，这就反映了ＯＯ开发模型中......
[期刊论文] 作者：金淳兆,全炳哲,
来源：软件学报 年份：1996
本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．......
[期刊论文] 作者：金淳兆,全炳哲,
来源：计算机科学 年份：1989
本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的...
[期刊论文] 作者：全炳哲,金淳兆,
来源：计算机科学 年份：1995
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z++,是Z的另一种扩充,其中引入了...
[期刊论文] 作者：于海波,车海燕,金淳兆,
来源：计算机科学 年份：2006
RB-RBAC（Rule-Based RBAC）模型克服了RBAC模型的一些局限，提供了基于用户属性自动指派角色的机制。为了检测RB-RBAC模型的策略冲突，提出了一种基于描述逻辑的RB-RBAC模型的形式化...
[会议论文] 作者：全柄哲,余江,金淳兆,
来源：第四次全国软件工程会议 年份：1991
...
[会议论文] 作者：余江,金炳哲,金淳兆,
来源：第四次全国软件工程会议 年份：1991
...
[期刊论文] 作者：赵莹,全炳哲,金淳兆,
来源：计算机科学 年份：1995
六十年代初期,计算机技术开始应用于教学领域,这时的计算机辅助教学(CAI)系统只能于简单的课程安排和进阶测验。七十年代,随着人工智能(AI)的不断发展和成熟,人们开始考...
[期刊论文] 作者：张家晨, 冯铁, 陈伟, 金淳兆,,
来源：软件学报 年份：2004
连接件是软件体系结构描述中的重要概念 .该文在连接件中引入引擎机制 ,使其在与相关组件连接的过程中成为运行活动的触发元素 ,而且在目标系统实现中转化为可见的组成部分 ,...
[期刊论文] 作者：冯铁, 张家晨, 陈伟, 金淳兆,,
来源：软件学报 年份：2000
软件体系结构的使用是提高软件质量、减少软件开销和促进软件生产率提高的最有效方法之一 .该文提出一种基于面向对象框架和角色模型的软件体系结构规约方法 ,该方法把体系结...
[期刊论文] 作者：全炳哲, 金淳兆, 玄顺姬,,
来源：计算机学报 年份：1998
本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于......
[期刊论文] 作者：全炳哲,金淳兆,玄顺姬,
来源：软件学报 年份：1997
构造性类型理论可作为研究程序自动化的理论基础，本文根据一种支持面向对象计算的类型理论，探讨了了面向对象程序自动化的途径，面向对象程序的程序单位是类、它是数据和一组相关......
[期刊论文] 作者：何丽莉,金淳兆,冯铁,张家晨,
来源：计算机科学 年份：2005
数十年以来,关注分离问题一直是软件工程的核心问题之一,关注分离是将软件分解成可管理、可理解的部分并将之组织起来的主要动力.本文综合了现有的关注分离的研究工作,分析了...
[期刊论文] 作者：王洪媛,王琳,张家晨,金淳兆,
来源：吉林大学学报：理学版 年份：2007
基于消息语义提出一种分析UML2．0顺序图控制流的方法，分析了UML2．0顺序图消息发送和接收动作之间的关系，并将其映射到相应的消息上，得到消息的相继顺序关系．根据消息的顺序关系设计......
[期刊论文] 作者：冯铁,张家晨,王洪媛,金淳兆,
来源：软件学报 年份：2006
面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段．提出一种基于CBR（case based reasoning）和微体系结构反模式的设计改进方法．该方法形式化...
相关搜索：
