结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

结构化面向对象形式规格说明语言OOZS——规格说明测试

自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法,该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验,可以较容易地发现形式规格说明中的不一致、不完整之处。     

一种高效的高质量图形用户界面开发方法

在分析、比较当前使用的几种图形用户界面开发方法的基础上，指出在ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ操作环境下，利用ＢｏｒｌａｎｄＣ＋＋个及其提供的界面开发工具和Ｗｉｎｄｏｗｓ界面函数、资源、消息共同开发用户界面是一种高效的高质量图形用户界面开发方法，并且所开发的用户界面具有一致、友好、标准的特点．为说明这一开发方法的有效性，以实例的形式给出了采用该方法开发的某一实用ＣＡＰＰ系统用户界面．     

一种基于UML的第三代面向对象开发方法

UML（统一建模语言）是当前开发面向对象系统的首选建模语言，已经成为事实上的工业标准。它使用广泛，提供了丰富的图形表示的结构和行为模式，并在很大程度上支持过程建模。本文将当前软件工程最新技术，如软件体系结构、设计样本、组件技术等用于UML中，给出一种面向对象开发方法。     

结构化面向对象形式规格说明语言OOZS——应用实例

ＯＯＺＳ是一种面向对象的形式规格说明语言,它是Ｚ规格说明语言的一种面向对象扩展,本文结合一个四边形图形的例子对ＯＯＺＳ语言的应用进行说明。     

一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。     

面向对象的迭代增量式软件开发方法

相对于传统顺序里程碑交接的瀑布模型来说，快速原型法与面向对象技术在应用中具有明显的优点，而面向对象的迭代增量式开发方法是软件开发中上述两者的结合。该方法已成功地应用于邮政网上银行的开发项目中。     

一种基于Petri网的半形式化面向对象的开发方法

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．     

地图信息系统中的地图矢量化及面查询

本地图信息系统采用面向对象的分析设计方法，在Ｗｉｎｄｏｗｓ平台上，利用ＯＷＴ（ＯｂｊｅｃｔＷｉｎｄｏｗｓＬａｎｇｕａｇｅ）开发的。系统分为矢量化和面向对象数据库系统两大部分，。本文讨论矢量化部分，利用优化轮廓算法对地图上的信息进行半自动矢量化，利用Ｃ＋＋支持抽象数据类型的机制，将矢量化得到的信息以对象形式存储。矢量化后的地图有较好的编辑功能，并实现了面查询。     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法，为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图；然后为关键模块生成形式化规格说明。生成的结果清晰明确，有助于软件工程师理解VB源程序。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

面向对象技术在多媒体CAI开发系统中的应用

多媒体ＣＡＩ的开发和应用迫切需要一个专用的高性能的创作平台,以便能支持多媒体课件的快速制作,支持多媒体资源的超媒体形式的动态链接以及事件驱动的演播方式。这就需要构造一个合理的多媒体ＣＡＩ数据模型,以及采用与之相应在的开发方法。传统的数据模型和ＣＡＩ系统设计思想在解决这些问题上有许多局限,而面向对象技术则能更好地完成上述要求。本文以作者用面向对象技术开发的一个多媒体ＣＡＩ软件创作平台（称作Ａｎａｌｙ     

用ARX技术开发CAD标准数据库

基于客户／服务器的数据库技术和面向对象技术是解决传统ＣＡＤ标准数据库的有效途径,在分析ＡＲＸ（ＡｕｔｏＣＡＤＲｕｎｔｉｍｅｅＸｔｅｎｓｉｏｎ）技术面向对象优越特性的基础上,提出了一种以ＡＲＸ为技术支撑的ＣＡＤ标准数据库的实现机制和组织方式,并开发了相应的原型系统．论述了该系统客户／服务器和面向对象的特性．原型系统提高了标准数据的共享性、一致性、安全性和开放性     

从管理信息系统的多变性谈管理信息系统的开发方法

通过对管理信息系统特性与开发方法的分析，阐述了面向对象的ＭＩＳ开发方法的基本思想。     

机械产品快速设计平台的研究与开发

提出了基于模块化设计和知识工程的机械产品快速设计平台的概念和体系结构，讨论了快速设计平台中各部分的具体内容及相互关系，对系统实现的关键技术进行了深入研究，包括模块化产品设计知识的分类与面向对象的表示，基于有向图的产品模块布局和构型表示，给出了所开发的原型系统及应用实例。     

信息系统开发方法的区别与联系

一个信息系统开发的成败与采用的开发方法有直接的关系,已有多种开发方法,而目前常用的几种方法有:结构化方法,原型法,面向对象方法和CASE方法。对一个具体的信息系统而言,不是所有方法都适合该系统的开发,也不是一个系统只能用到一个方法,对这些方法进行分析和比较,可以帮助开发人员找到合适的方法,同时提出几种方法的结合,发挥各自的优点,作为新的开发方法。     

面向对象的开发方法

自20世纪80年代末至今相继出现了多种面向对象的开发方法，主要介绍了其中6种较为典型的面向对象开发方法，并对面向对象的产生及面向对象的分析方法作了简单的介绍。     

面向对象图形用户界面的设计与实现

在分析计算机用户界面开发方法和工具的基础上，提出了利用对象模型化技术开发图形用户界面的思想。根据此思想，设计并实现了一个面向对象的图形用户界面（ＧＵＩ）。     

面向对象技术——UML在学生综合测评管理系统中的应用

面向对象是一种新兴的程序设计方法,它是一种新的程序设计范型,其基本思想是使用对象,类,继承,封装,消息等基本概念来进行程序设计。本文介绍了通过Internet实现对在校学生进行综合测评的学生综合测评管理系统的设计思想和各功能模块及开发工作中的部分实例,进行面向对象方法上的分析,把面向对象的开发方法以一种直接具体的分析和体验的方式进行介绍,并利用UML对该系统建模,介绍了面向对象系统的分析与设计过程。     

对象组装结构的分析与实现

基于面向对象的思想，介绍了对象组装结构的概念，并提出了组装结构的分析、表示方法，在关系数据库中的存储方法和在用户界面上部件对象的输入方法，结合实例分析说明，给出部分原代码，并讨论了这些方法的优点。