并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。     

并发面向对象语言的继承异常问题研究

1·引言随着面向对象技术的发展,面向对象程序设计语言在软件设计、模块化、可扩充性、可复用性等方面给软件开发人员带来了很大的方便[lj。继承是顺序面向对象语言的一个基本特点,继承机制是面向对象语言的重要机制之一,是实现软件复用和可扩充的有效语言机制。Bertrand Meyer曾指出纯00语言的七个特性川:①模块化结构;②数据抽象(对象是抽象数据类型的实现);③自动     

面向对象语言的谱系

本文深入讨论了面向对象的程序设计语言。根据对象、类、继承性、数据抽象、强类型、并发性与持续性等语言特征,作为语言空间的设计量纲,讨论了语言的分类和层次关系。着重阐述了基于对象的语言、基于类的语言和面向对象的语言之间的联系与区别。     

面向对象的和其他的语言

本文介绍面向对象的和其他的语言的概念和基本特征.     

面向对象基本概念与语言

面向对象技术已经成为计算机技术的不可分割部分。采用这个技术,在软、硬件开发和人工智能研究中都显现出巨大的优越性。但同时各种流派的面向对象设计的出现使人眼花潦乱。本文试图讨论面向对象程序设计的基本概念并介绍面向对象程序设计语言或系统的发展概况。对象、类、消息的程序设计模式其基本点在于对象的封装和继承性。封装使对象外界面和对象实现分离。要继承就得将对象管理起来并建立类体系。以及由此带来晚聚束和实体的多态性构成面向对象基本特征。文中论述这些特征有利于当前软件技术所追求的模块性、数据隐藏、数据抽象,可修改,易维护,并适宜于早期原型开发等目标。文中从模仿 Smalltalk、采用面向对象思想、可作面向对象设计三个方面简述了20余种基于对象的语言。     

Smalltalk—面向对象的语言

本文介绍smalltalk 语言的基本情况     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

面向对象程序设计语言BETA

本文介绍一个新的面向对象的程序设计语言BETA。BETA语言在发展了十几年后,虽然国内对它了解甚少,但BETA的许多思想和风格确实在语言理论研究中占有重要地位,而且可以肯定,BETA将影响国内的一些研究工作.本文根据参考文献编译,限于篇幅,不可能完整而又详细地介绍。有兴趣的读者,请参考有关的文献.本文引用的参考文献系指B.B.Kristensen等人的文章中列出的参考文献。     

面向对象语言中的持久性扩充

本文介绍持久性设计的发展及相关概念,讨论持久性与面向对象语言结合中的对象标识及对象持久性问题,同时给出了一个在面向对象语言基础上扩充持久性的实现描述。     

基于ACTOR模型的并发面向对象语言AC++

ＡＣ＋＋是用ＡＣＴＯＲ模型建造的并发Ｃ＋＋语言．本文介绍ＡＣ＋＋的设计与实现，着重探讨如何在语义级上平滑地结合ＡＣＴＯＲ模型和普通面向对象语言，提出了“扩充的行为抽象”和“异步创建”等新方法，使新语言既能保持面向对象语言的特性，又能支持ＡＣＴＯＲ模型提供的描述并发计算的能力.     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

类型化面向对象逻辑语言LKO的元级解释

本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法。     

演绎的面向对象数据库研究

文中从复杂对象逻辑语言，面向对象逻辑基础及面向对象数据库演量询语言等三个方面研究了一些典型的演绎面向对象数据库的成果，对它们进行了分析和比较，并就目前研究中一些重要的尚待解决的问题作了进一步讨论。     

一种图形化对象式需求定义语言的设计

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于实现到形式功能规约的转换等特点，并提供了方便的机器支撑.     

一种面向对象的可重用库管理系统的模型

研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径．好的重用技术可以带来高可靠、高性能、高质量和高效率的软件新系统．重用是支持软件工程新范型的基本前提．本文介绍了一种支持基于重用的、开放的、不依赖于具体领域的可重用部件管理系统.     

面向对象机器人离线编程系统的设计准则

从机器人系统的结构行为特点出发，讨论机器人离线编程系统面向对象的设计准则和系统组成对象的设计衡量准则，阐述了面向对象方法用于研制和开发这种系统的优越性和不足之处，给出了面向对象的机器人离线编程系统的基本结构，并最终实现了面向对象的离线编程系统ＨＯＬＰＳＳ。     

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。     

模糊控制开发系统FDS100的面向对象软件构造

ＦＤＳ１００系统用户使用模糊控制推理芯片Ｆ１００及其电路板提供了一个完整的集成开发环境。为使开发系统具有更好原外部因素，采用了面向对象式的软件构造，以增强软件系统的可扩充性和可重性性。