软件需求定义语言NDRDL

ＮＤＲＤＬ语言是一种图形化的软件需求定义语言，用于书写软件需求定义，其特点是：形象直观，表达力强，实用性好，可靠性高。本文是该语言的试用文本。     

基于实例在软件数据流图模块划分方法的研究

提出了一个基于实例的软件数据流图模块划分的方法和实现过程。该方法是基于系统所记忆的以往的实例来推理解决所面临的数据流图模块划分问题的，它提高了软件数据流图模块划分的有效性，科学性和可操作性。     

一种软件需求模型到设计模型的转换方法

针对复杂软件开发过程中需求模型到设计模型转换的问题,讨论了在软件设计过程中如何将数据流图转换为结构图。首先,根据软件设计方法提出了从需求模型到设计模型的项目背景。其次,对本项目的需求进行了分析,着重介绍了本项目绘图输入模块的设计方法。最后,描述并给出了实验结果。实验结果表明该文提出的数据流图到结构图的转换方法的正确性和有效性。     

Ada软件集成开发环境的设计与实现

作者在Windows 3.0上设计开发了一个Ada软件集成环境——ASIDE,它集多种软件工具(包括编辑器、编译器及键接器)于一体,采用多窗口和菜单以及鼠标枝术,为用户编辑、调试和运行Ada源程序提供了一个良好的环境。     

浅析软件项目实现的基本步骤

伴随着我国经济的迅猛发展，IT技术也步入了一个高速发展的阶段。目前的绝大多数领域中采用的计算机技术、IT技术已经服务于社会的各行各业，各式各样功能的软件也是日臻丰富。以实际项目背景为基础的前提下，为使软件项目开发简单化、规范化、大众化，使读者对整个软件系统的开发有一个基本的了解，阐述了软件项目开发的基本步骤。     

一种新的数据流图DFD划分方法

DFD的划分是结构化设计SD方法至关重要的一步,它关系到整个软件初步设计的成败。在SD方法中传统的DFD划分是一种映射方式,即DFD到SC的转换映射,它按照DFD两种不同类型——中心变换型和事务处理型,分别对它们进行映射。这种传统的方法存在两个缺陷:一是没有一个完整的、系统的、准确的映射算法,人为因素很大,不利于计算机自动实现;二是该方法在映射过程中,没有体现出模块独立性设计准则,生成的模块结构难以达到模块独立性良好的要求。本文提出了一新的DFD划分方法,它包含一个测定DFD划分中生成的模块结构的内聚和耦合强度的尺度,以该尺度作为划分准则,充分保证最终模块结构具有很好的独立性——高内聚、低耦合,从而弥补了传统DFD划分方法的不足。文章还给出了该方法的相应算法,并用C语言实现。     

一种基于实例的软件概要设计方法

本文提出了一个基于实例的软件概要设计的方法和实现过程。该方法是基于系统所记忆的以往软件概要设计的实例,来推理解决所面临的软件概要设计问题。它提高了软件概要设计的有效性和可操作性。     

SADM及其应用

本文论述一种新的系统分析和设计方法ＳＡＤＭ，分析它实施的基本原则，基本阶段和步骤，以及所用到的主要技术方法，并应用于一个房产管理系统的开发之中。     

图形化对象式需求定义语言NDORL

ＮＤＯＲＬ语言属于一种半形式化需求定义语言，采用了面向对象方法，能够支持软件需求构模的图形化需求定义，其特点是：表达能力强、形象直观、易理解、易维护、便于复用。本文主要讨论ＮＤＯＲＬ语言。     

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

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

算法语言L的设计与形式规范

本文通过分析ＰＡＳＣＡＬ语言作为算法设计语言而存在的主要缺陷，借鉴Ｄ．Ｗａｔｔ的△之设计原则，而定义了一个小型的算法语言Ｌ。文中详细地给出了它的具体文法、抽象文法和静态语义。通过Ｌ的设计和描述，对算法语言设计与规范的有关问题进行了有益的探索。     

构件类和构件的概念及其定义语言和操作语言

本文针对应用软件的特点，在类和对象概念的基础上，提出构件类和构件的概念，说明构件类和构件与O－O中类和对象概念上的异同．为规范化描述构件类，给出了构件类定义语言和操作语言．     

OO模型中ODL语言的研究与实现

面向对象的数据库语言主要包括对象定义语言(ODL)和对象操纵语言(OML)。本文主要介绍以持久的面向对象程序设计语言为基础,研究和设计ODL语言的方法。     

功能规约自动生成

ＮＤＲＡＳＳ系统是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统。功能规约自动生成是该系统的主体部分。它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等。本文简要阐述了这些问题，特别讨论了ＮＤＲＡＳＳ系统中控制流图的规范化与结构化分解，全文包括研究动因、ＮＤＲＡＳＳ系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分。     

Z状态空间和操作定义的自动生成技术

从软件需求定义到形式功能堆约的自动转换是需求工程的重要问题之一。文中以软件需求定义语言ＮＤＲＤＬ和形式功能规给语言Ｚ为基础，探讨了基间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的技术。     

软件测试性定义研究

当前的软件测试性定义众多,但还存在各种问题。综合各测试性定义,提出软件测试性是软件易于测试和暴露缺陷的能力。简要介绍九个测试性特性：可理解性、可控性、可观测性、测试支持能力、简单性、可分解性、适用性、可跟踪性和敏感性,分析它们与软件测试性的关系。最后描述软件测试性与其它软件质量因素的关系。全面的软件测试性定义研究有助于更深入地理解软件测试性。     

通用PRIP程序设计语言EPPPI的设计

本文介绍了一种同时具有PASCAI和PROLOG语言特点的通用的模式识别和图象处理(PRIP)程序设计语言EPPPL,相对于PASCAL,EPPPI包含了抽象级更高的数据类型和相应的公共操作.因而该语言具有比PASCAL更强的描述能力,使在科学计算程序设计时有更高的效率.文中论证了在EPPPI中引入PROLOG机制的可行性.由于在EPPPI中包含了PROLOG的机制,使该语言适用于人工智能程序设计,并具有陈述式特点,因而使它的编程效率更进一步提高.     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.     

中文页面描述语言解释器CPDL的设计与实现

页面描述语言（ＰＤＬ）已广泛应用于打印机、电子出版等领域，且已经诞生了国际标准（ＳＰＤＬ）。因此，开发中文页面描述语言解释器具有十分重要意义。本文介绍了中文页面描述语言解释器ＣＰＤＬ的特点、功能、数据结构、字库的组织和ＣＰＤＬ解释器流程。讨论了提高速度和压缩代码的方法，并给出了应用前景。