基于Viewpoint Agent的新型需求描述模型

需求工程是整个软件工程的关键部分，为了能清晰地得到软件规约，提出了一种新型的需求工程方法——基于多视点的需求代理模型。这个模型结合了多视点方法对分布式环境下的需求描述的能力和Agent的自治能力，从而能在分布式的开发环境下自动地得到软件规约。通过一个实例展示了Viewpoint Agent对基于多视点的需求描述自动进行规约的过程。     

基于用例的软件需求建模研究

需求建模和用例技术是软件需求工程研究的热点,文中旨在通过讨论二者的作用及相互关系,得到如何使用用例分析技术为捕获的软件需求建立简洁明了的逻辑模型的一般方法.文章首先介绍了用例、软件需求、需求建模等基本概念,然后探讨了软件需求建模的一般过程,最后结合实际案例给出了使用用例进行需求建模的实现方法.整个过程侧重于需求的获取、用例分析和建模的实现,并提供了一个简单的用于描述软件需求的用例规约.     

航空机载嵌入式控制软件需求建模的形式化工程方法

嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。     

基于层次着色Petri网的需求工程过程框架

提出一种基于层次着色Petri网的需求工程过程框架,对软件需求工程过程、需求活动、需求任务及其功能进行了形式化定义,为软件需求工程实现了一个清晰、完整、无二义性的精确描述框架,并为最终产生高质量的软件需求规格说明奠定了坚实的基础,也为软件需求的精化、规约、复用、演化以及需求管理、需求质量控制、度量等提供了严格数学依据。     

基于SPC的软件需求度量方法

软件需求管理是软件生产与质量管理的重要内容．面对今天以需求变化难以控制为主要特点的软件危机，我们一方面必须采用更加合适的软件工程和需求工程方法，去适应需求的不断变化和增长；同时还必须采用合适的度量方法和手段，去分析需求变化的趋势和原因，并控制和管理需求的变化．该文提出了一种以统计过程控制原理对软件项目的需求变化进行统计控制，并对异常波动进行度量分析的软件需求度量方法．     

基于TSP的软件需求过程的研究与实现

需求过程是软件开发过程的一个重要阶段。从论述软件需求过程的基本内容和实施的必要性开始，根据项目实践提出了一个基于TSP的软件需求过程模型，并对其中的关键问题进行了分析和讨论，最后使用可视化的建模工具-Rose设计并实现了符合该结构基于B／S模式的需求过程模型。     

面向Agent的软件工程:现状与挑战

面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向，它试图将Agent理论和技术与软件工程的思想、原理和原则相结合，从而为基于Agent系统的开发提供工程化手段．近年来，随着Internet上的web应用以及软件开发社会化的发展，面向Agent软件工程受到了学术界和工业界的高度关注和重视，研究活跃，发展迅速．从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景；从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容；分析了面向Agent软件工程的研究现状；最后讨论了它存在的问题和面临的挑战以指导进一步研究．     

基于UML的需求分析过程研究

为提高软件生产过程的质量,文章提出了一种基于UML的概念建模方法。概念建模的目的是用一种规约详细描述系统的功能，主要工作是寻找系统必需的类。该方法利用熟知的UML的标准符号和技术．介绍了以时序图作为分析工具，将高层次的软件需求分解成更详细规约的需求分析过程(RAP),并讨论了确认、验证和可跟踪性问题。     

基于UML的构件软件集成测试用例生成研究

对构件软件测试的特点进行了分析，结合扩展的UML状态图规约和时序图规约，以文献4个能模拟构件间交互特性的要素作为测试用例产生的基础，特别是分析了构件间的内容依赖关系和上下文依赖关系获取算法，从而提出一种有效地构件软件集成测试用例的生成方法。     

功能规约自动生成

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