形式描述语言COOZ的集成支撑环境COOZ—Tools

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发,它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。     

一个面向对象的三维实体造型工具

论述了面向对象的三维实体造型工具－ＯＯ３Ｄ的功能,并对该软件的开发中的几个关键问题：消隐算法、面向对象图形库、三维对象可视化技术等进行了分析。该工具已在ＯｅｎｔｉｕｍⅡ微机上实现。     

面向对象CASE工具中的代码自动生成

面向对象思想应用于软件工程领域,形成以喷泉模型（ｆｏｕｎｔａｉｎｍｏｄｅｌ）为基础的面向对象生命周期Ｏ-Ｏ-Ｏ方法。我们依据这个方法,开发了一个面向对象的ＣＡＳＥ（Ｃｏｍｐｕｔｅｒ-ＡｉｄｅｄＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇ）工具ＯＯＣＡＳＥ,用户使用该工具提供的编辑、绘图、制表工具描述软件的设计要求,ＯＯＣＡＳＥ将这些图形,表格,文字说明转换成面向对象规格说明语言ＯＯＰＤＬ的程序,再自动生成Ｃ++代码,继而自动产生测试实例,完成测试。用户根据测试结果,修改软件描述,再生成,测试……直至正确为止。本文主要…     

面向对象软件自动化系统JDAUTO＼0

本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．     

OOAnalysis的设计和实现

ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型，强调多层次抽象、并行工作和递归建模．这个工具有多层次、可视化和自动化的特点.     

面向对象建模技术的实践与体会

面向对象建模技术（ＯＭＴ）是一种比较成熟的面向对象（ＯＯ）软件开发方法。本文结合青鸟Ⅱ型系统的需求文档分析工具（ＲＤＡＴ）的开发，描述了如何运用ＯＭＴ方法来开发具体的系统，并着重突出了实践过程及开发中的一些经验。     

OOPSE——一种基于C^＋＋／Java的程序分析系统

面向对象技术自八十年代以来,在软件的各个领域得到了广泛应用,基于对象技术的面向对象软件开发方法也随之兴起,并被广泛采用。面向对象软件开发方法强调采用面向对象的观点认识客观世界,采用面向对象的方法模拟客观世界,使得软件问题结构相一致,相对降低了软件的复杂性,方便了软件的设计、编程、维护和使用,从而特别适合于大型的、复杂的软件系统的开发。尽管面向对象的软件开发方法具有很大优点,但也存在着一些问题。例如、语言的灵活性、描述能力和程序可靠性、功能之间难以统一,多态性和动态连使得运行时很难确定在给定的程序点对象的动态类型,封装与继承的矛盾,以及多继承机制复杂的语义等使得人工管理面向对象的软件开发过程变得困难,同时,这也会导致软件开发效率的降低。为此,人们纷纷研究各种类型的支持面向对象软件开发过程的工具和环境,其中最具代表性的有：由北京大学以杨芙清院士为首开发的“青鸟工程”工具,由贝尔实验室的Ｐrem Devanbu 和Laura Eaves共同开发的Ｇen^＋＋,由Danny B.Lange和Yuichi Nakamura共同开发的环境Ｐrogram Explorer等等。这些工具或环境的研制给面向对象的程序设计带来了极大的便利。为了探索新的软件分析支持工具和环境设计和开发的新思路、新方法,围绕面向对象程序设计工具和环境,我们重点研究开发了一种基于Ｃ^ /Java的程序分析系统－－ＯＯＰＳＥ,本文详细介绍了ＯＯＰＳＥ的设计思想,总体框架和实现技术。     

面向对象的专家系统开发工具

本文对一个面向对象的专家系统开发工具ＯＯＥＳＴ的结构和特点作了概要论述。它将多种知识表示融合于知识对象之中，提供了一面向对象的推理机制，具有定性推与定量计算相结合的功能。文中着重讨论了面向对象的知识表示方法，可视化的知识获取工具，面向对象的推理机等方面的内容。     

面向对象软件度量工具的软件结构

利用软件度量工具度量程序源码的各类质量属性是提高程序质量的一个重要方法．目前,面向对象语言已逐渐成为主流编程语言,度量基于对象技术的软件成为必然的需求．然而,由于面向对象语言数目众多,许多面向对象语言又都在发展中,用户所需要的度量也不尽相同,各种分散的需求对度量工具的灵活性与通用性提出了挑战．首先给出了一个适用于ＯＯ语言软件度量工具的一个灵活的软件结构,然后在分析了各类软件度量的基础上,解析了该结     

MOVIE—TOOL：一个基于面向对象技术的动画制作工具的设计与 …

动画技术是计算机图形学研究的重要课题，也是计算机应用发展的重要方向。本文提出了一种新型的动画制作工具ＭＯＶＩＥ－ＴＯＯＬ，它以面向对象技术为基础，从一个新的角度出发考虑动画的实现。新的动画制作工具与传统的动画制作工具相比，具有高效、易实现、易扩充等一系列优点。本文讨论了ＭＯＶＩＥ－ＴＯＯＬ设计的思想与实现技术。     

Automated object-oriented reusable component identification

An automated tool to assist in the understanding of legacy code can be useful both in the areas of software reuse and software maintenance. Most previous work in this area has concentrated on functionally-oriented code. Whereas object-oriented code has been shown to be inherently more reusable than functionally-oriented code, in many cases the eventual reuse of the object-oriented code was not considered during development. This paper describes an approach that makes preparing existing object-oriented code for reuse easier and more quantifiable. This problem includes two primary sub-problems: understanding the function of components, and applying an appropriate set of metrics to the components to quantify reusability.The research described in this paper addresses an approach to the automated understanding of object-oriented code. A knowledge-based system that implements the approach is described. This paper also briefly discusses the formulation of reusability metrics for object-oriented code.     

一种面向对象的软件设计模式库的设计

成功地利用模式可以有效提高软件的开发效率和设计质量,通用模式具有较强的普适性,结合具体领域特点形成的实例模式具有更强、更具体的指导作用。为了实现一个辅助设计模式复用的CASE工具,对设计模式的几个面向对象的原则进行分析,提出了一种面向对象的分布式软件实例模式库来存储设计模式,并给出相应的类层次库组织结构、分布式的交互管理和基于聚类的多级索引方法及面向对象的嵌套索引方法。依此存储模式以更有效地管理和利用模式。     

网络面向对象的软件测试技术的研究

面向对象软件测试技术的研究是面向对象开发方法不可缺少的一环。但是随着面向对象技术的引入,面向对象程序开发语言成为主流编程语言，传统的瀑布式软件工程模型受到挑战，传统的测试技术已经无法有效地进行测试。因此文中在对软件测试技术进行了综合分析的基础上，提出了面向对象的测试模型。同时对一个已实现的、具有高度可重用性和灵活性的面向多种OO语言的测试工具Panorama的系统结构进行了分析。     

青鸟面向对象软件建模工具的研究与实现

讨论了青鸟面向对象软件建模工具JBOO（Jade Bird object-oriented)的设计和实现方法，对JBOO所支持的青鸟面向对象规范作了简介，对JBOO的系统结构和功能进行了详细地描述，并提出了一种面向对象的软件建模工具的实现方法，最后，将JBOO与典型的 类工具作了比较。     

A framework for distributing object-oriented designs

In response to the increasing demand of information processing, the object-oriented and client-server paradigms are becoming more pervasive. While implementation solutions integrating these two paradigms are widespread, there is minimal evidence that the merging of these two concepts has been considered at the design level. Specifically, object-oriented designs remain sequential in essence, and their mapping to a given distributed object-oriented programming language is left to the creativity and/or expertise of software engineers. In this paper, we propose a quantitative approach and a supporting tool to assist the designer in the distribution process. The metrics presented provide an easy way, but still consistent and reliable, to gauge the distribution suitability of various object-oriented design entities. Published online: 29 August 2002     

面向对象概念格的压缩

概念格理论是知识处理与分析的一种有力工具,在知识发现和数据挖掘等众多领域有着重要的应用。引入了概念相似度新的计算方法,由对象和属性共同确定概念之间的相似程度,进而产生概念邻域,并根据概念间相似程度来控制概念邻域的大小,删除不必要的节点,从而控制面向对象概念格中节点的个数,实现面向对象概念格的压缩和知识库简化。示例表明,当参数的值较小时,压缩效果明显。     

Knowledge acquisition and knowledge representation with class: the object-oriented paradigm

Knowledge acquisition and knowledge representation are the fundamental building blocks of knowledge-based systems (KBSs). How to efficiently elicit knowledge from experts and transform this elicited knowledge into a machine usable format is a significant and time consuming problem for KBS developers. Object-orientation provides several solutions to persistent knowledge acquisition and knowledge representation problems including transportability, knowledge reuse, and knowledge growth. An automated graphical knowledge acquisition tool is presented, based upon object-oriented principles. The object-oriented graphical interface provides a modeling platform that is easily understood by experts and knowledge engineers. The object-oriented base for the automated KA tool provides a representation independent methodology that can easily be mapped into any other object-oriented expert system or other object-oriented intelligent tools.     

一种基于过程改进的度量模型

如何提高软件质量始终是软件工程领域研究的重要方向,基于度量的量化管理是目前最有效的质量保证手段之一,过程度量是软件开发过程中实施软件质量保证(SQA)的一个重要课题。研究了软件过程度量的概念和范围,讨论了几种常用的度量和度量指标。最后提出了一种软件过程度量模型及其度量元。     

面向对象软件覆盖度量的研究和软件测试工具的实现

面向对象软件测试技术的研究是面向对象方法不可缺少的一环，但是面对面向对象技术所引入的新特点，传统的测试技术已经无法有效地进行测试。因此，结合传统的测试技术，提出了一种新的面向对象软件覆盖度量-基于段的面向对象覆盖度量（object-oriented segment coverage），解决了传统的覆盖度量没有考虑到继承和多态等语言特征对面向对象软件软件测试过程的影响的不足，可以比传统的结构化覆盖度量获得更精确的测试覆盖数据。同时，还分析了一个已实现的、具有高度可重用性和灵活性的面向多种OO语言的测试工具的系统结构。