章远阳
- 作品数：14 被引量：10H指数：2
- 供职机构：北京大学更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 当代软件设计方法学发展的哲学与数学背景
- 1991年
- 本世纪初发生的物理学危机,导致了相对论与量子力学的建立;而第三次数学危机的挑战,导致了人们对数学基础及其哲学背景的关心和思考,从而促进了现代数学、哲学及逻辑学的发展。60年代末爆发的“软件危机”,已成为计算机科学继续发展的“瓶颈”。程序设计何时才能从“技巧和经验”变成一门真正的“科学”?如何使计算机科学这门年轻而又发展迅猛的学科建立在坚实的理论基础上?带着疑虑和期望,计算机科学家们将目光投向了哲学和数学……
- 章远阳
- 关键词：计算机科学软件生产率程序系统法学发展
- C++语言面向对象文件系统界面的实现及其永久性特性的初步扩展
- 1992年
- 本文首先通过阐明C++I/O库中的流和C语言I/O库中流式文件在概念和功能上的差异,扩展实现了一个面向对象(Objcct-Oricnted,OO)文件系统界面—file++,并在此基础上重新设计实现了流的功能,为用户提供了一个概念清晰(OO)、功能一致(和流式文件兼容)的I/O界面.然后,通过转换的方式,以file++为基础,对C++语言的永久性扩展实现作了一定的尝试,并讨论了在语言中引入永久性概念的影响和意义.
- 章远阳杨芙清
- 关键词：面向对象C++语言
- C^(++)语言的比较研究
- 1993年
- 通过比较研究,对C与C^++、C^++与Objective-C分别进行纵向和横向比较,阐述了与C相比,C^++的改进之处。与Objective-C相比,两者在面向对象(Object-Oriented,OO)实现方面(封装和继承)的差异,同时指出了C^++本身存在的不足之处。
- 章远阳杨芙清方裕
- 关键词：C语言面向对象C++语言程序语言
- 面向对象系统软件的分层构造模型被引量：4
- 1993年
- 本文从分析系统软件传统模型的特点和局限性出发,介绍了永久性对象存储的概念,在此基础上,从实现的通用性和可移植性考虑,讨论了面向对象系统软件的分层构造模型,最后,围绕着分层模型,我们试图以一种统一的观点,就面向对象系统软件各部分之间的功能分配及相互关系等方面,阐述了我们的有关认识。
- 章远阳杨芙清邵维忠
- 关键词：系统程序面向对象
- Objective-C语言的设计思想及实现原理被引量：1
- 1991年
- 本文分为四个部分,第一二部分介绍Odjective-C语言的设计思想和语言的风格,第三、四部分介绍该语言的实现原理以及分它的评价。在第一、二部分中,我们分別从封裝技术,面向对象语言、动态约束等角度说明软件IC的设计思想以及基于软件IC思想设计的Objectibe-C语言的特点,然后讨论了Objective-C中对封装、差承等概念的支持,并给出了其语法表示。在第三、四部分中,我们首先介绍Objective-C语言提供的基本类库,然后讨论其编译器对继承概念的支持工具——类簇,在此基础上阐述了Objective-C编译器对消息表达式的处理过程,它们都支持了面向对象程序设计 (Object-Oriented Programming,OOP)的风格。最后,我们从Objective-C的混合设计风格,和C++语言的比较等方面对其进行了评价。
- 章远阳
- 关键词：C语言OBJECTIVE-C程序语言
- 面向对象程序设计语言要览
- 1991年
- 面向对象程序设计语言(OOPL)不仅用于构造面向对象系统,还可以作为探索面向对象理论的工具,而这又丰富了OOPL 的内涵.本文将目前主要的OOPL 分成四大类:早期OOPL、Smalltalk、混合风格OOPL、并发OOPL,并概括介绍了某些典型。最后,讨论了OOPL 今后的发展方向,试图从总体上反映OOPL 当前的研究状况.
- 章远阳
- 关键词：面向对象程序设计语言ADA语言LISP语言计算机
- 全文增补中
- 基于C^(++)的良好OOP风格法则
- 1992年
- 一、前言所谓“程序设计风格”,通常是指由编译器对程序的源代码进行静态分析时所能确认的特性。目前,关于 OOP 风格有两种理解:1.采用非面向对象程序设计语言(OOPL)进行程序设计,使程序呈现出一定的 OOP 风格。2.采用 OOPL 遵循一定的规范或法则进行 OOP,使程序呈现出良好的 OOP 风格。在本文我们关注后者,在 Demeter 法则的基础上,以 C^(++)为背景,提出了一个采用 C^(++)进行良好风格 OOP 时所遵循的法则:
- 章远阳杨芙清方裕
- 关键词：C^++语言程序设计面向目标
- 函数式操作系统设计的自动机风格及其策略
- 1990年
- 本文通过对几种函数式操作系统(Functional Operating System,以下简称FOS)模型[1,2,6]的分析,并用统一的自动机观点阐明彼此之间的联系和本质。从而表明,基于自动机风格的FFP程序设计方法论[5]是FOS设计的重要策略,其实质是将FOS描述成一个层次结构的、作用式的自动机网。
- 章远阳
- 关键词：自动机设计方法论互连性系统函数状态集
- C++语言的面向对象特性分析被引量：2
- 1992年
- 本文分析了面向对象程序设计(Object-Oriented Programming,OOP)的两种定义形式:类定义形式和类型定义形式之间的本质区别,相应严格区分了类OOPL (面向对象程序设计语言,Object-Oriented Programming Language)和类型OOPL,并提出了C++语言弱OO(面向对象,Object-Oriented)特性的表现及其根源所在。最后从统一的同式多型(Polymorphism)角度,考察了C++中的OO机制和同式多型的关系。
- 章远阳杨芙清邵维中
- 关键词：C语言面向对象
- 基于法则的面向对象系统模型
- 1991年
- 本文从模块的受控存取入手,描述了基于法则系统(Law-Governed SystemLGS)的概念和模型,其中的法则(Law)用来控制大型系统的功能,结构及其演变。作为 LGS 的一个实例,我们给出了刻画面向对象程序设计(OOP)方法特性的一组法则,按 OOP 的不同语义层次,构成了一个基于法则的面向对象系统(Object-OrientedLGS,OOLGS),并给出了 OOLGS 中多重继承的一种实现方法,最后提出了 LGS 实现和应用中的有关问题。
- 章远阳
- 关键词：面向对象系统模型软件工程
