一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

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

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

面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

面向对象技术在结构分析中的应用

在剖析有限元法传统设计方法的基础上，论述了面向对象程序设计（Object Oriented Programming）方法的优越性，并叙述了如何利用C^ 语言实现通用杆系的结构分析，着重进行有限元主类及有限元主要结构类的划分、定义和实现。     

Java和C＋＋异同点的研究

随着Ｉｎｔｅｒｎｅｔ迅速发展，ＷｏｒｌｄＷｉｄｅＷｅｂ日益普及，整个计算环境正在经历着深刻的变革，Ｊａｖａ是一门刚出现不久的网际程度语言，它作为ＷＷＷ上系统开发的主要工具很可能是未来的主流之一，本文通过与Ｃ＋＋语言的对比，具体论述了它们之间的异同步。     

形式化面向对象方法与并发系统的建模

将统一建模语言（UML）的面向对象可视化技术与代数规范语言CafeOBJ的形式描述相结合,对冗余磁盘阵列（RAID）系统中的并发特性进行建模、分析和规范。提供了RAID系统的清晰结构,以此来弥补形式化规范语言的不足,规范软件设计过程,保证程序的正确性。     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

C＋＋中虚函数的实现机制

介绍了C 编程语言中的虚函数及其在进行面向对象程序设计中重要性，并且详细阐述了它在编译器底层虚函数的实现机制．它通过一个vptr和vtable在运行时进行动态绑定，从而能够根据对象类型的不同调用不同的虚函数；并通过实例测试验证了上述机制、     

面向对象技术的作用与发展趋势

本文分析了应用越来越广的面向对象技术,并对其作用、应用范围和发展趋势进行了论述。     

C语言面向对象机制的底层实现

本文在剖析实践的基础上,对面向对象语言Ｃ＋＋中体现封装性,继承性,多态性的诸多机制的底层实现进行了探讨,其中重点讨论了类,对象,虚函数,单一继承,多重继承,虚基类,构造函数和析构造函数等在底层的实现方法和工作原理,力图从一个新的角度认识Ｃ＋＋。     

虚拟仪器的面向对象开发技术

对虚拟仪器软件的面向对象开发技术进行了深入的讨论,针对实际应用,遵循VPP体系规范,围绕虚拟仪器对象的构建和虚拟仪器对象间通讯两项关键技术,详尽介绍了用Visual C 开发虚拟仪器软件的实用技术。     

面向对象程序设计的核心概念在C＋＋中的实现

解释了面向对象程序设计的3个核心概念-封装，继承，多态，并通过实例给出了其在C 语言中的实现，这样，可把握重点，以更好地学习C 语言。     

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

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

一种事件驱动面向对象的设计工具--PEAD

在分析了上前常用的程序设计方法和现有设计工具的局限性之后，介绍了ＰＥＡＤ（ｐｒｏｂｌｅｍ ａｎｄ ｅｖｅｎｔ ａｎａｌｙｓｉｓ ｄｉａｇｒａｍ）图在描述对象和对象之间关系方面的能力以及在描述事件和事件处理过程方面所具有能力。ＰＥＡＤ图由ＰＡＤ图发展而来，能够适用于象ＰｏｗｅｒＢｕｉｌｄｅｒ、Ｖｉｓｕａｌ ＢＡＳＩＣ等事件驱动面向对象的软件开发工具和程序设计语言的详细设计。     

以责任为中心的面向对象观

面向对象技术的传统的观点只停留在对象层面上,以对象为中心,机械地理解面向对象．狭隘的认识往往导致在软件分析设计阶段存在严重的缺陷,到后期,常常不得不对原来的方案做大的调整甚至丢弃．文中以责任为中心的面向对象观,突破传统观点的狭隘范围,更贴近人类的思维方式．它从宏观上把握着软件开发的各阶段,从责任的角度重新认识面向对象,扩展面向对象的内涵．