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

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

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

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

Objective-C语言的设计思想及实现原理

本文分为四个部分,第一二部分介绍Odjective-C语言的设计思想和语言的风格,第三、四部分介绍该语言的实现原理以及分它的评价。在第一、二部分中,我们分別从封裝技术,面向对象语言、动态约束等角度说明软件IC的设计思想以及基于软件IC思想设计的Objectibe-C语言的特点,然后讨论了Objective-C中对封装、差承等概念的支持,并给出了其语法表示。在第三、四部分中,我们首先介绍Objective-C语言提供的基本类库,然后讨论其编译器对继承概念的支持工具——类簇,在此基础上阐述了Objective-C编译器对消息表达式的处理过程,它们都支持了面向对象程序设计 (Object-Oriented Programming,OOP)的风格。最后,我们从Objective-C的混合设计风格,和C++语言的比较等方面对其进行了评价。

C^(++)语言的比较研究

通过比较研究,对C与C^++、C^++与Objective-C分别进行纵向和横向比较,阐述了与C相比,C^++的改进之处。与Objective-C相比,两者在面向对象(Object-Oriented,OO)实现方面(封装和继承)的差异,同时指出了C^++本身存在的不足之处。

基于C^(++)的良好OOP风格法则

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

C++语言面向对象文件系统界面的实现及其永久性特性的初步扩展

本文首先通过阐明C++I/O库中的流和C语言I/O库中流式文件在概念和功能上的差异,扩展实现了一个面向对象(Objcct-Oricnted,OO)文件系统界面—file++,并在此基础上重新设计实现了流的功能,为用户提供了一个概念清晰(OO)、功能一致(和流式文件兼容)的I/O界面.然后,通过转换的方式,以file++为基础,对C++语言的永久性扩展实现作了一定的尝试,并讨论了在语言中引入永久性概念的影响和意义.

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

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

自动机风格在函数式操作系统设计中的应用

本文通过对几种函数武操作系统(简称为FCS)模型的分析,并用统一的自动机观点来阐明彼此之间的联系和本质,从而表明,基于自动机风格的FFP 程序设计方法论是FOS 设计的重要策略,将FOS 描述成分层结构化、作用式的自动机网是范畴风格的设计在新一代语言操作系统中的体现。

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

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

当代软件设计方法学发展的哲学与数学背景

本世纪初发生的物理学危机,导致了相对论与量子力学的建立;而第三次数学危机的挑战,导致了人们对数学基础及其哲学背景的关心和思考,从而促进了现代数学、哲学及逻辑学的发展。60年代末爆发的“软件危机”,已成为计算机科学继续发展的“瓶颈”。程序设计何时才能从“技巧和经验”变成一门真正的“科学”?如何使计算机科学这门年轻而又发展迅猛的学科建立在坚实的理论基础上?带着疑虑和期望,计算机科学家们将目光投向了哲学和数学……

分类机制与面向对象程序设计

本文首先将类型继承分别与生物的物种分类、逻辑的单步推理相比较,表明分类不仅是一种系统描述和信息共享机制,还是一种计算机制(单步推理),然后讨论了分类机制在程序设计语言中的表现形式:类型和同式多型(polymorphism),并阐述了面向对象程序设计(OOP)的继承作为同式多型的一种体现,为人们描述和解决问题提供的有力支持。

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

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

一个面向对象UNIX用户界面原型的设计与实现

本文首先分析比较了UNIX系统和SMALLTALK系统的设计思想,并结合操作系统命令语言的发展,阐述了我们研究开发面向对象UNIX用户界面的背景和意义。然后讨论了其原型系统osh的设计思想和实现策略,并给出了一个运行实例。最后提出了下一步工作的有关想法。

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

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