关于软件需求中的不一致性管理

复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,关于不一致的需求管理方法和技术的全面认识.最后,对需求不一致性管理方面的研究进行了展望.     

知识引导的软件可信性需求的提取

软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求...     

需求工程的研究背景与意义

在软件工程理论发展的几十年里,正确地获取待开发软件系统的确切需求一直是该领域研究的重要课题.在需求分析研究的早期阶段,Bell和Thayer观察到,不充分、相互矛盾以及非完全的软件需求描述是影响软件设计质量的一个非常关键的因素.     

“软件再工程”的应用研究

软件再工程是针对现阶段软件系统更新换代加剧而提出的,当前用户需求不断变化、软件系统复杂性不断提高和软件维护日趋困难促进了软件再工程的发展。     

需求工程的质量评价准则

需求工程是软件系统开发生命周期的初始阶段，其最终结果是得到关于用户需求的准确，全面，形式化的需求描述。虽然人们已经认识到需求工程的质量是整个系统开发的关键，但是目前尚没有确定统一的质量评价体系。从需求工程的基本活动内容出发，结合案例研究和软件开发经验，定义了需求工程质量评价的七项准则，并给出了质量因素的评价方法。     

需求工程发展趋势研究

对需求工程的发展现状、作用进行分析和论述,着重强调了用户需求、需求分析和需求的落实对软件开发过程中降低成本,减少不必要的人力物力消耗有重要且积极的作用,同时探究了需求工程的发展趋势、方向.阐明了需求工程未来的发展前景.     

浅议软件再工程

软件再工程概念是针对现阶段软件系统更新换代加剧而提出的,当前用户需求不断变化、软件系统复杂性不断提高和软件维护日趋困难促进了软件再工程的发展。侧重于软件再工程的概念、目标、类型而提出了相应可供参考的模型,针对结构化思想和面向对象思想设计的软件系统提出了一般的软件再工程实施模型。     

需求工程的研究背景与意义

在软件工程理论发展的几十年里,正确地获取待开发软件系统的确切需求一直是该领域研究的重要课题。在需求分析研究的早期阶段,Bell和Thayer观察到,不充分、相互矛盾以及非完全的软件需求描述是影响软件设计质量的一个非常关键的因素。     

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型,该模型可通过视点模板来定义用户的需求,此外,本文也结合一个管理信息系统的实例,介绍了使用这一需求描述模型定义软件系统需求的全过程。     

需求管理工具在需求工程中的作用

给出了软件需求工程的概念并阐述了软件需求工程的主要组成内容,对市场流行的软件需求管理工具的特点和作用进行了介绍和比较,并对软件需求管理工具的发展方向作出预测。     

软件工程专业硬件课程内容需求初步调查报告

计算机硬件是计算机系统的基础,软件工程的学生也需要了解一定的硬件知识,才能更好地学习软件管理与开发。但其对硬件知识的需求并不同于计算机科学专业,为了更合适地设置软件工程专业的硬件课程,我们开展了软件工程专业硬件课程内容需求的调查。调查结果对课程设置以及课程内容的安排有一定的参考作用。     

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

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

基于用例的软件需求开发与管理平台的研究

需求工程在软件生命周期中占有非常重要的地位,需求开发与管理工作也存在着相当多的困难.为解决需求开发中存在的软件开发人员与客户交互比较困难的问题,引入了一种基于客户角度来说明问题的需求描述方法,即用例分析技术.介绍了一个基于这种需求实践的软件需求开发与管理平台的设计与实现.通过实际应用证实,这个平台可以在一定程度上帮助软件开发组织提高软件需求开发与管理工作的效率与能力.     

一种用户主导的面向领域应用软件开发新方法

提出一种应用软件开发的新方法,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法,强调用户在应用软件开发中的主导作用,试图将应用软件的开发过程变成用户详细定义过程,而不仅仅是传统的编程过程.它为越来越多的应用软件开发需求提供了可能有效的一个途径.     

基于系统仿真的软件需求工程方法及其支持环境

本文提出了一种基于智能代理的系统仿真方法ＳＭＩＡ，并讨论了该方法的软件需求工程模型和环境。利用ＳＭＩＡ可以对软件需求分析过程提供一致的知识支持、并使需求对象具有协作进化能力。     

信息物理融合系统的时间需求一致性分析

信息物理融合系统(cyber-physical system,简称CPS)蕴藏着巨大的潜在应用价值.时间在CPS中起到非常重要的作用,应该在需求早期阶段明确.提出了一个基于逻辑时钟的CPS时间需求一致性分析框架.首先,构建了CPS软件的时间需求概念模型,提供时间需求和功能需求的基本概念,并给出了概念模型的形式化语义;然后,在模型制导下,从CPS的交互环境特性和约束中提取出其软件时间需求规约.基于形式化语义,定义了时间需求规约的一致性特性.为了支持形式化验证,将时间需求规约转换成NuSMV模型,用CTL公式表述要检测的特性,并使用NuSMV工具实施了一致性检测.     

Object-oriented design: A goal-driven and pattern-based approach

In recent years, the influences of design patterns on software quality have attracted increasing attention in the area of software engineering, as design patterns encapsulate valuable knowledge to resolve design problems, and more importantly to improve the design quality. One of the key challenges in object-oriented design is how to apply appropriate design patterns during the system development. In this paper, design pattern is analyzed from different perspectives to see how it can facilitate design activities, handle non-functional requirement, solve design problems and resolve design conflicts. Based on the analysis, various kinds of applicability of design patterns are explored and integrated with a goal-driven approach to guiding developers to construct the object-oriented design model in a systematic manner. There are three benefits to the proposed approach: making it easy to meet requirements, helping resolve design conflicts, and facilitating improvement of the design quality.     

面向对象软件的逆向工程

在现代软件工程中，逆向工程是软件维护、软件重工程、软件重用和软件重结构中的起点，它本身是一个设计知识发现、知识抽象的过程，而面向对象软件和传统软件相比有着自己的语言特点和不同的设计知识内容．通过对面向对象程序中知识类别和逆向工程过程的分析，总结出了面向对象软件逆向工程的基本知识内容，并以此为分类线索，综述了目前此领域中具有代表性的技术、工具和研究方向．最后指出了本领域将来发展的方向．     

需求工程的探讨

软件工程被分为需求、设计、实现、测试等几个阶段,其中需求阶段是一个项目的开端,也是项目成功的基石。在软件工程中,需求分析指的是在建立一个新的或改变一个现存的电脑系统时描写新系统的目的、范围、定义和功能时所要做的所有的工作。需求分析是软件工程中的一个关键过程。在这个过程中,系统分析员和软件工程师确定顾客的需要。只有在确定了这些需要后他们才能够分析和寻求新系统的解决方法。在软件工程的历史中,很长时间里人们一直认为需求分析是整个软件工程中最简单的一个步骤,但在过去十年中越来越多的人认识到它是整个过程中最关键的一个过程。假如在需求分析时分析者们未能正确地认识到顾客的需要的话,那么最后的软件实际上不可能达到顾客的需要,或者软件无法在规定的时间里完工。     

符号学在需求工程中的应用与研究

简述了符号学的理论和方法,分析了需求工程在当前所面临的困难和挑战。特别是在当前,需求工程在发展过程中遇到了一定的困难,希望能通过引入符号学方法的应用,从而对研究解决需求工程中的难题有所帮助。事实证明,符号学应用在需求工程上,尤其在需求表述和获取上是非常有效的。