一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法，将原始需求划分为多个层次和视角，采用多种图形语言对系统的各个侧面进行表示，并揭示各个部分模型之间的关系，力图以可视化的方式形成问题空间的全景“蓝图”和局部可缩放视图。该方法的使用，有利于降低表示需求的复杂度，便于从需求模型到设计模型的平滑过渡。     

一种超网络演化模型构建及特性分析

现实世界的很多超网络比如科学家合作超网络,演员合作超网络,WorldWideWeb（WWW）以及引文超网络都具有超边的增长和优先连接机制.基于这个原则,本文构建了一种超网络动态演化模型,并介绍了这个模型的一些基本拓扑性质,如节点度、节点超度、超边的度等.在此演化模型上重点理论分析了超度分布的特性,并进行了仿真实验,发现随着网络规模的增大,这个超网络动态演化模型的超度分布遵循无标度的特性.     

一种用于实现软件自动化的需求表设计

针对一类具有相似需求的电子政务软件项目,提出基于需求表的软件开发自动化方法,设计了一种能描述项目需求的表结构.开发的软件能依据需求表自动生成软件界面、创建数据库结构、实现数据处理.本文方法使得项目的研发只需经过需求分析、需求描述以及简单的界面设计三个步骤,就可以快速获得软件原型,从而基本实现了电子政务领域内软件项目开发的自动化.     

一种基于概念格的软件产品线演化分析方法

针对软件产品线演化成因分析、资产演化跟踪以及演化范围界定等问题,提出了一种基于概念格的软件产品线演化分析方法.该方法把引起软件产品线演化的因素分为内、外两部分,同时利用形式概念理论中的概念格,建立基于概念格的软件产品线演化分析框架,利用该框架可以实现对内、外演化因素的关联关系分析,软件产品线的资产演化跟踪以及软件产品线...     

信息系统中软件重用和演化技术的研究

如何在软件生命周期内用较少工作量修改或不修改软件以适应软件需求变化是软件工程追求的目标之一，针对上述问题，我们基于面向对象技术利用数据驱动机制对信息系统软件进行重用和演化设计，使得信息系统软件更加灵活，具备演化能力，满足用户新需求，从而延长其生命期，并且可以实现领域内软件系统最大程度的重用，最后给出一个应用实例说明其有效性。     

软件需求设计与管理

需求工程（Requirements Engineering，RE）是软件工程《Software Engineering，SE》的生命周期中搜集、分析、归档及管理软件产品需求的过程。RE是理解客户的目标、需求、信念的重要环节，做好这个环节可以很显著的加快软件开发进度，提高软件开发效率。本书就软件需求的工程和管理两方面进行了分析，讨论需求工程在新千年所要面临的问题。     

基于概念化心智模型的软件需求验证模型的研究与应用

为了提高软件需求的确实性、可跟踪性,该文引入路径搜索网络圈(PFNET)技术、需求跟踪机制及需求分层策略.着重阐述在大型软件项目中PFNET与需求跟踪机制如何有效地结合,从而增强项目相关人员对庞大的软件需求的理解.同时也很好的解决了"软件危机"所带来的种种问题.实验研究表明该模型在大型项目中的应用颇具实用性和有效性.     

软件的演化

信息社会，软件已经成为无所不在和不可或缺的，所有的软件产品应该对它们的可靠性承担责任。虽然对可靠软件原本的假设是软件实现应该是有效的，而且大体是无错的。近来对软件适应性和可维护性要求越来越高。例如2004年ACM／IEEE软件工程师学习计划指引把软件演化列成软件工程师教育的十个关键领域之一。     

软件企业质量管理模型的研究

文章从软件产业化分析入手，提出软件质量过程管理是一种企业能力，并给出实现过程管理的规范化模型。     

一种基于AOP的软件演化策略设计与实现

软件演化通常需要向系统的各个模块中添加新的通用功能,一般是在每个有需求的模块中直接插入相应的功能代码,但这种做法工作量大、出错率高,同时容易破坏系统的结构.为此介绍了一种基于面向方面的编程(AOP)的软件演化策略,该策略通过使用关注点,向演化系统中注入新的代码,而不改变系统的结构.除此,还介绍了基于此方法的支持软件演化所实现的一个工具,并通过实例对该方法加以了验证和说明. 该方法只是应用了AOP的思想,因此不局限于支持AOP的程序设计语言,对于一般的面向对象的程序设计语言都适用.     

A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

软件演化过程中的资源管理研究

资源管理对软件演化过程具有重要意义.总结了软件演化过程中资源的组成和特点,分析了软件演化过程资源管理器应具有的功能,并提出了几种资源分配算法.     

面向目标导向的软件演化过程行为的研究

对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

基于本体的需求模型演变影响分析

为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方程来确定需求演变处理的优先级。这种基于本体的方法能够形成需求演变管理框架,实现对需求演变的自动管理以及对需求演变控制和需求追踪。     

基于元模型的战场环境多分辨率建模

为了满足复杂仿真系统对战场环境模型不同分辨率的要求,解决不同分辨率环境模型的转换问题,给出了基于元模型的多谱线分辨率战场环境建模方法.该方法首先对将要建模与仿真的战场环境进行分解,得出战场环境模型的组成部分及战场环境与军用仿真实体的5个交互类别,然后通过战场环境的元建模参考框架,给出了战场环境元模型最基本的组成要素,利用递阶层次的元模型来构造各个环境模块,最后使用BNF来实现战场环境的元模型,通过合并元模型的相同节点来实现不同层次细节和详细层度的多谱线分辨率环境模型,也保证了战场环境模型的语法一致性.     

工控领域关键系统对计算机软硬件的研究

研究了关键系统对生产过程控制的要求,并在总结开发工控软件的经验上,分析了工控软硬件在关键系统的地位和作用,探讨了工控软硬件对关键系统的影响,说明关键系统对工控软件和其相关硬件的特殊要求.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

一个实现软件项目管理的统一软件数据管理方法

软件产业的规范化是当前我国软件企业面临的紧迫问题.软件企业进行软件开发和软件生产时,都希望从无序走向基本规范,"软件产品及工程实施管理规范"及"统一软件数据管理"正是针对国内软件企业的这种需要而进行研究的.软件企业的规范既是确保软件工程项目的有效管理、提高软件产品质量的根本保证,同时也是发展信息产业、提升软件国际竞争能力的必由之路."软件产品及工程管理实施规范"和"统一软件数据管理",能使软件企业在较短时间内走向基本规范,不断改进软件企业的成熟度,提升软件企业的综合实力.     

软件可靠性增长模型研究

软件可靠性模型预测结果的优劣,取决于基本假设与实际开发过程的吻合程度.在Kaput-Grap可靠性增长模型的基础上,通过与实际情形更接近的基本假设,研究一种新的软件可靠性模型.