摘要：分析面向对象程序设计的数据抽象和抽象数据类型。

摘要：类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起。

摘要：本文简述了数据抽象产生的背景、数据类型定义设施,以及数据抽象在软件开发中的作用,着重分析了数据抽象在软件系统开发中对复杂数据对象表示和处理等问题。

摘要：数据并行高层描述语言 DPHL 是我们开发的面向科学计算的一个描述语言 ,变量定义和基于域上的计算是该语言的重要组成部分 .本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析 ,论述了变量定义中数据抽象的两个主要方面 :一是引入了变量的定义域、子域和依赖域概念 ,给出了它们的形式化描述 ,二是引入了变量的数学属性 ,并和域分离 ,便于数据并行自动识别 ,重构高效的并行程序 ,使

摘要：传统面向对象数据抽象由于本身的局限性，对系统建模先天不足，从而难以成为大系统的设计方法和工具手段。根据按模式记忆理论，提出将性质论运用于数据抽象和系统建模：先对所研究事物进行属性检测，然后由各个属性整合成为对象，再把对象整合为子系统，逐级对子系统进行整合，最后形成与外界事物结构一致的系统记忆模式。

摘要：面向对象程序设计是一种实用的支持模块化设计和代码复用的程序设计方法。大多数面向对象语言均支持信息隐蔽的数据抽象和封裝。然而继承性的存在却严重地削弱了封装带来的好处。本文讨论了信息隐蔽和继承性间的关系,并描述了一种支持封装的多路继承机制。

摘要：本文系统地阐述了利用数据抽象技术形成模块的方法，给出了利用该技术设计模块的整个步骤，最后利用例子做了进一步的说明。

摘要：文中讨论了在软件设计中实现数据抽象化的意义以及数据抽象化在规范说明和程序中的具体方式．以堆栈为例，分析比较了在ＦＯＲＴＲＡＮ必ＴＵＲＢＯＰＡＳＣＡＬ中分别实现数据抽象化的特点，并指出数据抽象化可以是多层次的，因而适用于复杂的数据类型。

摘要：数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。