面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上，设计了一种新的扩充语言GOOZ，该语言克服了Z＋＋，Object_Z等语言的一些缺点，其书写规约具有简洁，明确，接口定义清晰，模块无整，结构良好，易于验证的特点。     

形式化描述语言B的面向对象机制研究

在分析B语言和面向对象方法的基础上,提出一种具有面向对象特性的形式化描述语言B ,该语言克服原有B语言没有机制形式描述一系列实例变量和不确定的行为的缺点。     

面向对象数据模型的形式化描述

面向对象数据模型的形式化描述尹七春，柳诚飞，邵志清（华东理工大学计算机科学系上海２００２３７）ＴＨＥＦＯＲＭＡＬＩＳＭＯＦＯＢＪＥＣＴ－ＯＲＩＥＮＴＥＤＤＡＴＡＭＯＤＥＬ￥ＹｉｎＱｉｃｈｕｎ；ＬｉｕＣｈｅｎｇｆｅｉａｎｄＳｈａｏＺｈｉｑｉｎｇ（Ｄｅｐ...     

UML类结构的形式化

为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言,ＲＡＩＳＥ是欧洲流行的一种形式方法,该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。     

面向对象模型与形式化方法

本文在分析面向对象和形式化方法两种重要系统建模方法的基础上,论述了两种方法的关系,指出二者互补、组合的优越性,概述了各种领域里的组合应用,并进一步设想未来的发展方向可能是二种方法的优点的活用和统一。     

面向对象程序设计语言的类型系统

本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。     

一种面向对象的形式化设计：从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。     

面向对象的和其他的语言

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

面向对象语言的谱系

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

Smalltalk—面向对象的语言

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

基于形式化的面向对象开发方法(FMOO)

主要讨论如何把形式化方法应用于面向对象的软件开发过程中 ,以提高软件的安全性和可靠性 ,并给出一个小型交通控制系统的形式化规范和验证实例。     

面向对象软件体系结构的形式化模型

软件体系结构设计中的形式化方法，一直是软件工程领域中的研究热点。而在面向对象环境中如何对体系结构进行形式化，以精确描述其静态结构与动态交互行为，则一直未有好的解决办法。本文使用符号逻辑方法描述面向对象系统中的基本组成单元，并使用有限自动机建立面向对象体系结构的形式化模型。     

面向对象基本概念与语言

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

面向对象程序设计语言BETA

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

基于数据分解的并发面向对象程序开发方法

提出了一种从VDM-SL(Vienna development method-specification language)规约到并发面向对象程序的开发方法,这种方法基于DD-VDM(data decomposition-Vienna development method).在此基础上提出了虚拟原子、服务并行和内部并行等概念,继而提出一种嵌套面向对象结构来体现这些功能.分别从共享量并行系统和分布并行系统的角度讨论了嵌套面向对象结构的实现技术.     

一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。     

面向对象方法的无缝性研究

软件系统从分析、设计到实现都使用统一的表示范式,以实现由一个阶段向另一个阶段的无缝性转换时软件系统开发人员的一个共同需求。尽管面向的技术的流行产生了许多的面向对象方法,这些面向对象理论上可满足软件系统的分析、设计到实现都使用统一的表示范式并实现由一个阶段向另一个阶段的无缝性转换,然而实际情况并非如此,由于面向对象方法是一种面向问题域的方法,因此把采用该方法分析、设计的结果转向计算机的实现较为困难,使得面向对象方法在大多数情况下只能实现从面向对象分析到面向对象设计的平滑过渡即告结束而无法贯通整个软件生命周期。面向对象方法无论在概念、实现方法和实现工具等方面都存在一定的差异,特别是在从面向对象设计到实现过渡中存在明显的裂缝,这种存在于面向对象方法中的裂缝,极大地阻碍了面向对象方法在实际中的广泛应用。本文主要讨论面向对象方法的无缝性问题并提出解决的办法。     

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

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

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

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

面向对象系统耦合性度量方法的形式化描述

对面向对象系统的耦合性进行了分析，对现有的度量方法进行了评述和比较，给出了面向对象系统的有关术语的形式化描述方法，提出了基于形式化描述的综合耦合性度量框架。