面向对象分析方法的目标探析

迄今为止，已有许多介绍和比较ＯＯＡ方法的工作，但缺少对ＯＯＡ方法的目标的深入探析。有鉴于此，本文系统分析了一些ＯＯＡ方法所声称的两个目标：（１）ＯＯＡ达到了需求分析的目标；（２）从ＯＯＡ向ＯＯＤ的过渡是自然的，从而指出许多ＯＯＡ方法未能完成需求分析的全部任务，从ＯＯＡ过渡到ＯＯＤ也不象一些方法所说的那样容易，同时讨论了从ＯＯＡ过渡到ＯＯＤ所存在的一些困难，也给出了实现从ＯＯＡ顺利过渡到ＯＯＤ的若干建议。     

支持面向对象分析的开发工具—OOATOOL的研究与实现

本文在分析了当前较流行的三种面向对象分析方法的基础上，提出一一种从规格说明书开始作面向对象分析的方法，并设计和实现了支持该方法的转换工具－ＯＯＡＴＯＯＬ。     

SC-PROLOG解释系统中的约束逻辑程序设计方法

约束逻辑程序设计（ＣＬＰ）方法是提高ＰＲＯＬＯＧ语言效率的一种崭新方法，本文针对ＳＣ┐ＰＲＯＬＯＧ解释系统的实现介绍其相应设计思想，从域变量含义入手，提出了域及约束的存储方法以及约束机制的实现算法，是对逻辑设计方法研究的一点体会     

面向对象的软件需求分析

本文首先给出了面向对象的软件需求分析与面向过程分析方法的区别，并从软件需求的角度简要地讨论了ＯＯＲＡ所涉及的基本概念；依次评价了ＯＯＲＡ的四种起源。分析了ＯＯＲＡ的基本模型；比较了几种典型的ＯＯＲＡ途径。最后指出了从传统方法转向ＯＯＲＡ的几方面困难。     

面向对象的WINDOWS编程技术

本文从面向对象技术的基本概念出发，详细讨论了该技术在ＷＩＮＤＯＷＳ程序设计中的应用，并结合具体实例对传统的ＷＩＮＤＯＷＳ程序设计方法和面向对象的Ｏｂｊｅｃｔ Ｗｉｎｄｏｗｓ程序设计方法进行了比较。     

OOP的计算模型研究

虽然ＯＯＰ（面向对象程序）已得到广泛应用，但由于ＯＯＰＬ）面向对象程序设计语言）、ＯＯＴ（面向对象技术）还缺乏坚实的理论基础，致使早期ＯＯＰＬ在对象、类、继承性和方法等面向对象的基本概念及其语义方面还缺乏一些致性表示和定义。本文作者在我媒体软件和大型信息系统开发实践中，详细分析了几种不同的ＯＯＰＬ语言，提出了ＯＯＰ的计算模型ＯＯＣＭ。ＯＯＣＭ从形式上定义了面向对象的基本概念、相关语义及其计算特征     

互不干扰条件在OOP中的应用

ＯＯ系统的可靠性不仅取决于组件的质量，还与对象的交互行为密切相关。那么，如何“保证”ＯＯ系统的可靠性和正确性，必然是一个现实而又不可回避的问题。本文从应用领域的角度，探讨形式化方法对实际中ＯＯ开发技术可能的支持     

嵌入式操作系统中的I/O驱动软件

该文从Ｉ／Ｏ驱动软件的设计目标开始，论述了Ｉ／Ｏ驱动软件的结构，实现方法和通常的设备划分种类。从而得出要设计一个好的Ｉ／Ｏ驱动软件，必须从应用系统的需求出发，根据实际的应用来设计，同时需要软／开发人员的密切合作。     

一种新的DSS模型描述方法

模型管理系统是（群体）决策支持系统的重要研究领域，文中认为决策中使用的数学模型由属性数据，操作和知识组成，并由此给出了种嵌入知识的面向对象模型描述方法ＯＯＭＤＥＫ。文中探讨了知识在模型管理系统中的作用；从模型组合的角度，提取出３种模型类的继承关系，做了相应的讨论，并给出了基于ＯＯＭＤＥＫ的模型管理系统的实现方法。     

JACKSON程序规格说明到过程蓝图的映射

本文在ＪＡＣＫＳＯＮ程序规格说明和过程蓝图的形式化定义基础上，给出了从ＪＡＣＫＳＯＮ程序规格说明出发，导出过程蓝图的转换映射方法。使用过程蓝图取代结构文本作为ＪＡＣＫＳＯＮ程序规格说明和最终目标源代码的中间表示，改进了传统ＪＡＣＫＳＯＮ结构化程序设计方法。