C++语言的面向对象特性分析

本文分析了面向对象程序设计(Object-Oriented Programming,OOP)的两种定义形式:类定义形式和类型定义形式之间的本质区别,相应严格区分了类OOPL (面向对象程序设计语言,Object-Oriented Programming Language)和类型OOPL,并提出了C++语言弱OO(面向对象,Object-Oriented)特性的表现及其根源所在。最后从统一的同式多型(Polymorphism)角度,考察了C++中的OO机制和同式多型的关系。     

面向对象的思想及其设计方法学

本文首先以自动机描述作为把握对象概念本质的基点,讨论了对象与认识方法论、抽象数据类型、智能体之间的关系,通过对建立在自动机基点上的这3个角度的分析,确立了面向对象的思想观点;其次,阐明了面向对象设计方法学与结构化设计方法学的本质区别及两者间的关系,并描述了采用面向对象设计方法学进行开发的软件生命周期.     

面向对象程序设计语言要览

面向对象程序设计语言(OOPL)不仅用于构造面向对象系统，还可以作为探索面向对象理论的工具，而这又丰富了OOPL的内涵，本文将目前主要的OOPL分成四大类：早期OOPL、Smaltalk、混合风格OOPL、并发OOPL，并概括介绍了某些典型。最后，讨论了OOPL今后的发展方向，试图从总体上反映OOPL当前的研究状况。     

面向对象系统软件的分层构造模型

本文从分析系统软件传统模型的特点和局限性出发,介绍了永久性对象存储的概念,在此基础上,从实现的通用性和可移植性考虑,讨论了面向对象系统软件的分层构造模型,最后,围绕着分层模型,我们试图以一种统一的观点,就面向对象系统软件各部分之间的功能分配及相互关系等方面,阐述了我们的有关认识。     

基于法则的面向对象系统模型

本文从模块的受控存取入手,描述了基于法则系统(Law-Governed SystemLGS)的概念和模型,其中的法则(Law)用来控制大型系统的功能,结构及其演变。作为 LGS 的一个实例,我们给出了刻画面向对象程序设计(OOP)方法特性的一组法则,按 OOP 的不同语义层次,构成了一个基于法则的面向对象系统(Object-OrientedLGS,OOLGS),并给出了 OOLGS 中多重继承的一种实现方法,最后提出了 LGS 实现和应用中的有关问题。     

函数式操作系统设计的自动机风格及其策略

本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述成一个层次结构的、作用式的自动机网。     

基于C^＋＋的良好OOP风格法则

一、前言所谓“程序设计风格”,通常是指由编译器对程序的源代码进行静态分析时所能确认的特性。目前,关于 OOP 风格有两种理解:1.采用非面向对象程序设计语言(OOPL)进行程序设计,使程序呈现出一定的 OOP 风格。2.采用 OOPL 遵循一定的规范或法则进行 OOP,使程序呈现出良好的 OOP 风格。在本文我们关注后者,在 Demeter 法则的基础上,以 C~(++)为背景,提出了一个采用 C~(++)进行良好风格 OOP 时所遵循的法则: