软件重用技术

软件重用技术是软件工程领域中一个目前比较活跃的分支,它以提高软件生产率,增加软件的可靠性为主要目标。近年来在国内外都有较快的发展。本文较全面地综述了软件重用的各种途径,现有的一些主要方法,以及可能产生的某些问题。     

基于知识的可重用构件查询系统KCQ

本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．     

一个安全的基于任务描述的移动代理系统*

为解决移动代理技术中的安全问题提出了一种全新的基于任务描述的移动代理定义和实现方法,据此设计并实现了一个安全的移动代理系统.该系统通过中介/管理Agency统一派发代理,借鉴Java 2安全模型进行本地资源保护,利用信任模型管理并调整系统中平台之间的信任关系.它可以保证平台的安全,也可以利用事后的检测手段发现对代理的攻击,同时利用信任模型调整对恶意平台的信任度来维护整个系统的安全运行.     

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.     

基于类型理论的面向对象程序设计

构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．     

一种自动化软件设计改进方法

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(case based reasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方案的描述方法,研究了它们在事例库中的组织和索引机制.根据基于事例的推理技术的4R过程,提出了类图、顺序图、质量要素和语义约束的相似性度量方法,描述了在给定设计中识别反模式及其实例,并在此基础上,用高质量的设计方案进行替代的几种算法.以该方法为依据,进一步介绍了设计改进支撑系统--CBDIT(CBR based design improving tool)的体系结构的设计.     

软件体系结构的研究与发展现状

软件休系结构是由 Edsger Dtikston于1968年首次提出的,当时他正在描述一个操作系统,井第一次提出层次结构,他指出,人们更应关注软件系统是如何划分与组合的,而不是仅仅限制在编程上,这样会     

软件设计重用

基于面向对象开发范例的软件设计重用技术，给出了框架、模式和可重用设计构件的描述方法及实例。     

基于主动连接件的软件体系结构及其描述方法

连接件是软件体系结构描述中的重要概念.该文在连接件中引入引擎机制,使其在与相关组件 连接的过程中成为运行活动的触发元素,而且在目标系统实现中转化为可见的组成部分,这种 连接件称作主动连接件.文章介绍一种基于主动连接件的软件体系结构的基本概念及其描述 语言.     

C++程序理解辅助系统*

本文介绍了一个针对c++语言的程序理解辅助系统HOOPUS(hypertext—basedobject—oriented program understanding support system)．该系统基于程序结构分析技术，以易于理解的形式显示程序中的信息，辅助理解c++程序的功能与结构．另外，它还利用hypertext、多维表现、导航与定位等技术对理解过程提供支持．