基于时间约束的软件工程资源配置Petri 网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境.而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果.文中提出了一种基于 Petri 网模型的基于时间约束的软件工程资源动态配置检测模型,依据 petri 网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突.从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础.实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失     

以过程为中心的软件工程环境研究

以过程为中心的软件工程环境(PSEEs)是一种新的软件工程环境。在这种环境下,可以明确地对软件的过程建模,从而对用户提供指导、支持,便于实现自动化。本文讨论了PSEEs的概念、功能、结构以及若干有待研究的问题。     

一个改善软件结构设计质量的知识系统

本文讨论我们在研制”ＭＩＳ软件工程环境“中为优化软件结构而采用的知识技术。尽管技术工程学对软件设计提出了优化软件结构的任务并给出了一些指导性原则,但由于设计者的经验和理解程度不同,因而软件结构设计质量往往因人而异。本研究旨在探索一种方法提供一种工具,以改善软件结构的质量,提高软件工程环境的智能水平。     

CMM实践中的分布式软件工程管理框架

分布式计算机体系结构的进展,使得客户/服务器软件工程被分布式软件工程所代替。CMM(CapabilityMaturityModel)已被软件组织所认识和重视,CMM实践中的软件工程的管理机制是软件质量保障的关键因素。该文介绍一种符合CMM思想、支持CSCW、适合分布式系统结构的管理框架,通过CMM角色定义、过程定义、过程流与文档流的管理以及对CMM角色行为的协同控制,帮助软件企业有效地控制软件过程、增强开发效率、改进软件产品质量。     

一种基于消息机制的通用框架

1 引言正如Perry和Wolf所预想的那样,软件体系结构近年来成为了软件工程领域研究的焦点。他们提出了一个模型,将软件体系结构定义为一个具有特殊形式(form)的结构元素(element)的集合,并用一个基本理论(rationale)的集合加以详细描述。在文中,软件体系结构被粗略地定义为系统结构:一个特定系统的体系结构是由一组用于计算的构件以及     

基于Event-B的软件工程形式化方法综述

在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴.     

程序的可视化：将程序映射至图画的技巧

本文将程序的可视化定义为:将程序映射至图画表示。程序的可视化的简单形式常见于软件工程,因此,当代程序可视化的进展有可能影响未来软件工程工具和环境的发展。本文提出了一种新的程序可视化研究的分类法并用以作为媒介,对当今程序可视化的系统、技术、趋势和概念作一个系统的回顾。任何科学起源于哲学,最终成为技巧。——美国教育家 W.J.Durant     

给软件工程安个家——张莉博士谈集成化软件工程环境

集成化软件工程环境,顾名思义即指支持软件工程的集成化软件开发环境,它就像一个软件工程的王国,能够提供支持软件生存周期不同阶段的软件工程工具,使软件工程的思想贯穿于软件开发过程的始终。本期访谈中,国家863 CIMS石化行业专家组成员、北京航空航天大学软件工程研究所张莉博士将和我们聊聊有关集成化软件工程环境的话题。     

软件工程CASE工具——RSL/RSA

软件的发展经历了若干阶段,到今天已进入了软件工程时代,软件工程将系统开发分为几个阶段,其中需求定义与分析阶段的技术和方法已成为软件工程时代所要解决的主要课题之一。需求分析的关键技术是需求定义与分析的质量问题,“需求规格说明语言/需求规格说明分析系统”(RSL/RSA)是一种以规格说明为核心,以需求规格说明数据库为基础的计算机辅助需求分析系统,本文从软件工程的角度,提出了需求分析的关键技术、集 成化的软件工具包的概念和RSL/RSA系统的设计目标,同时介绍了计算机辅助需求工程工具RSI/RSA系统的功能、结     

基于PCTE标准的现代软件工程环境EMERAUDE

由三家法国公司(Bull,Eurosoft,Syseca)组成一个叫做 CIE Emeraude 的联合体,依照著名的 PCTE 定义,实现了一个工业化产品 Emeraude。Emeraude是一个 PCTE 标准工具接口,能为各种软件工程项目的开发提供良好的基础,并且可运行于多种计算机上,因此,适合各种软件开发组织的需要。值得指出的是,为了支持基于 UNIX 环境的移植,Emeraude 工具集不但由专门的开发工具组成,而且很多工具是在 UNIX 环境下使用的,因而,使得 PCTE 工具接口能被软件开发者和工具编写者所利用。本文较为详尽地分析和概述了 Emeraude 这一现代软件工程环境,并将围绕 PCTE 和 Emeraude 有关的项目展现给读者,以使读者了解国际上这个领域的发展情况,为我国八·五期间软件工程环境的建造做好吸收、借鉴工作。     

软件工程新进展：组件软件工程

本文首先介绍了组件、基于组件的软件工程的概念、特点和意义,然后论述了组件软件工程的开发过程和开发方法,并与传统的软件开发方法进行了比较,组件软件工程的出现,将会大大提高软件生产效率,增加软件的可靠性、易读性、易维护性。     

支持软件重用的软件开发环境SSRE

为了缓解软件危机，许多人寄希望于软件重用技术，软件重用被认为是提高软件生产率和质量的关键，本文着重介绍了作者设计开发的一个支持软件重用的一体化软件开发环境ＳＳＲＥ，介绍了ＳＳＲＥ体系结构，各部分功能，主要工作流程以及软件构件的描述形式。利用ＳＳＲＥ，用户能够使用此环境中重用构件库中的软件构件，高效率地开发出高质量的应用软件。     

基于时间约束的软件工程资源配置petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。本文提出了一种基于petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。     

软件工程化的基本形式和关键技术

首先从工程实践的角度提出了软件工程化是软件开发走向成熟的持续改进过程,接着又提出并论述了软件工程化的对象、基本形式、     

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

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

Understanding the characteristics of quality for software engineering processes: A Grounded Theory investigation

ContextSoftware engineering organizations routinely define and implement processes to support, guide and control project execution. An assumption underlying this process-centric approach to business improvement is that the quality of the process will influence the quality, cost and time-to-release of the software produced. A critical question thus arises of what constitutes quality for software engineering processes.ObjectiveTo identify criteria used by experienced practitioners to judge the quality of software engineering processes and to understand how knowledge of these criteria and their relationships may be useful for those undertaking software process improvement activities.MethodInterviews were conducted with 17 experienced software engineering practitioners from a range of geographies, roles and industry sectors. Published reports from 30 software process improvement case-studies were selected from multiple peer-reviewed software journals. A qualitative Grounded Theory-based methodology was employed to systematically analyze the collected data to synthesize a model of quality for software engineering processes.ResultsThe synthesized model suggests that practitioners perceive the overall quality of a software engineering process based on four quality attributes: suitability, usability, manageability and evolvability. Furthermore, these judgments are influenced by key properties related to the semantic content, structure, representation and enactment of that process. The model indicates that these attributes correspond to particular organizational perspectives and that these differing views may explain role-based conflicts in the judgement of process quality.ConclusionConsensus exists amongst practitioners about which characteristics of software engineering process quality most influence project outcomes. The model presented provides a terminological framework that can facilitate precise discussion of software engineering process issues and a set of criteria that can support activities for software process definition, evaluation and improvement. The potential exists for further development of this model to facilitate optimization of process properties to match organizational needs.     

基于用户需求的软件项目风险管理模型

控制软件项目的风险是软件项目管理的重要组成部分。目前的软件风险管理方法存在着一些不足,在软件项目管理实践中不能取得最佳效果。文章通过对软件产品开发中资源、用户需求和产品之间的内在关系的分析,提出了基于用户需求的软件项目风险管理模型,该模型从用户需求角度出发,通过软件过程技术、产品工程技术和度量技术的支持可以有效地控制软件项目风险,保证了软件产品满足用户需求的能力,从而使软件项目达到成功。在模型的基础上,文章对实现模型的技术进行了研究,给出了模型的BayesianBeliefNetworks实现方法。     

基于产品线体系结构的软件工程过程模型研究

在借鉴现代工业的组织体系、管理规范、生产流程的基础上,针对基于软件产品线体系结构的软件工程方法和开发过程进行了系统研究,提出了基于产品线体系结构而实现软件工程化生产的N-生命周期模型.该模型的建立,对研究基于软件产品线体系结构的集成化软件工程环境,进而实现软件产品的工业化生产是非常有益且重要的.     

软件工程环境的许可证配置

许可证配置是软件工程环境配置的关键和难点之一。该文从配置软件工程环境的实际经验出发，建立了工具许可证服务系统的基本排队模型，提出了许可证共享效应的要领和许可证共享的一些策略，给出了许可证数估算方法。最后，讨论了许可证网络结构的配置技术。     

影响企业应用演化的因素及其作用

对影响企业应用演化的因素进行了分析，给出了一个分类框架，提出了软件生存环境系统及其分析方法，以期对软件演化有所裨益。