层次式面向对象设计方法HOOD的研究与改进

本文详细介绍了层次式面向对象设计方法HOOD的基本概念和设计过程,以及其图形和文本描述语言,然后与其他面向对象设计方法进行了比较,指出了HOOD方法的优点与不足,进而,提出了一种改进HOOD的方案。     

结合形式化的面向对象设计方法与支撑系统

为了有效地结合形式化和非形式化设计方法各自的优点,克服其不足之处,以尽可能保证软件设计的质量与可靠性,文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径,并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上,有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具,以及自动检查机制等．     

形式化方法概貌

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明：其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.     

有限元软件的数据处理及与图形系统的集成

本文利用数据库和图形集成技术对有限元软件进行数据处理,并采用动态链接库的技术成功地解决了图形系统（前处理系统和后处理系统）和有限元计算程序之间的数据传输问题。     

集成开发环境

关于Pascal语言的平台选择，似乎没有什么好讨论的。在DOS下，你的选择就是Turob Pascal；在Windows下，你的选择就是Delphi；在Linux下，你的选择就是Kylix。早期的系统现在已经很难找到了，记得有     

CORBA与EJB集成技术的研究

1 引言随着分布计算技术的发展,Sun的Java EJB技术、OMG的CORBA技术、微软的COM~+技术开始成为分布应用的主流平台。其中,EJB(Enterprise Jav-aBeans)是开发和配置面向对象的分布式企业级Ja-va应用的服务器端构件模型,它可以简化服务器端的应用开发,使开发者可以专注于应用的业务逻辑,同时     

SCOPE/CIMS系统中模式集成的形式化基础

大多数据库系统中，模式集成是将若干个已经存在的模式集成为一个统一模式的过程，是实现异构信息集成的关键问题之一，为满足面向对象的多数据源集成系统ＳＣＯＰＥ／ＣＩＭＳ中模式集成的需要，本文提出了一个支持模式集成的形式化基础，为实现一个半自动化的模式集成辅助工具奠定了基础，主要内容包括；（１）一个对应关系描述模型，以支持模式的分析与比较；（２）一套模式集成规则，以提供模式合并与重构的原则；（３）等价类的     

集成CCS和B语言的形式化方法

本文尝试集成通信系统演算（CCS）和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。     

知识库集成维护方法研究

本文首先回顾了国内外近期的知识库维护思想和方法，进而提出在面向对象知识库组织形式下，用规则关系树进行规则一致性，完整性检查的算法，并采用实例效验的方法，从语义上进行全局维护，此方法已经在８６３课题中得到初步应用。     

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

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

结构化方法、面向对象方法和形式方法的比较与结合

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。     

面向对象Z的子类型继承和推理规则

讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusack等人的方法相比,具有可构造性,并且比Liskov等人的方法具有更大的灵活性.     

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

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

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

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

软件体系结构讲座（六）形式化模型和规格说明

本讲讨论软件体系结构的形式化模型和规格说明,即软件体系结构的形式化基础。     

面向对象程序设计及其在系统仿真中的应用

基于作者的分析与理解,阐述了面向对象设计方法的特点及其为软件设计方法所带来的变革.并且在仿真系统软件的开发中,通过面向对象设计方法的应用,进一步展示了面向对象设计方法可能为软件方法学带来的进步.     

面向属性(对象)多粒度概念格之间的关系

受粗糙集中多粒度标记信息系统研究的启发,对于多粒度标记的形式背景,不同粒度标记下形成的概念格之间存在着一些联系,这在形式概念分析理论中属于热点研究问题.为了研究不同粒度标记下形成的概念格之间的关系,首先讨论了不同粒度标记下的生成的极值算子之间的关系;其次通过极值算子之间的关系,对不同粒度标记下形成的面向对象的概念格之间...     

A Theory of Object-Oriented Design

Progress was made in the understanding of object-oriented (O-O) design through the introduction of patterns of design and architecture. Few works, however, offer methods of precise specification for O-O design.This article provides a well-defined ontology and an underlying framework for the formal specification of O-O design: (1) We observe key design motifs in O-O design and architectures. (2) We provide a computational model in mathematical logic suitable for the discussion in O-O design. (3) We use our conceptual toolkit to analyze and compare proposed formalisms.     

YH-2计算a~x、log_ax、x~y函数的算法设计

本文讨论了ＹＨ－２机中２Ａ、ｌｏｇ２ｘ两条辅助指令的设计，研究了基于初值的ａｘ、ｌｏｇａｘ、ｘｙ的算法设计和误差分析。