共查询到18条相似文献,搜索用时 62 毫秒
1.
鄂大伟 《复杂系统与复杂性科学》2005,2(4):77-83
从软件工程的视角对软件复杂性进行了初步研究,讨论了软件复杂性的基本定义,分析了软件复杂性产生的原因及软件度量方法,最后提出了未来适应软件复杂性的几种技术解决方案. 相似文献
2.
面向软件过程改进的工作流仿真研究 总被引:5,自引:0,他引:5
本文的研究从深度上涉及方法学、技术和工具层面,从广度上涉及过程、产品、资源、组织和度量。工作流仿真可以贯穿于软件过程改进的整个生命周期。针对技术层面,提出一个支持软件过程改进的工作流实施框架,其中包括四个反馈环节来实现改进。进一步提出指导建模的软件工作流元模型,它将度量和过程改进的几个要素结合到一起,便于仿真评价,并且利用对象约束语言形式化描述模型实体本身和实体间的完整性约束关系。针对工具层面,给出了基于ECA规则的工作流模型定义和仿真引擎的结构。在此基础上就一个软件开发过程的实例,依据过程度量指标分析了各种可能的改进方案。 相似文献
3.
为了解决Petri网对复杂软件系统进行形式化验证时在安全性描述、自动化程度和验证效率方面存在的不足,提出一种软件安全Petri网。扩展了库所定义,提出了安全距离及其计算方法,以增强Petri网对软件安全性的描述能力。设计了自动划分子网结合库所安全定级的递归算法,仅对与被验证需求性质相关的划分子模型进行验证以提高验证效率,同时实现库所的安全定级。设计并实现了软件安全性需求自动化建模和验证工具原型,最后给出了在典型安全关键软件--机载除冰软件系统上的应用以说明方法和工具原型的有效性。 相似文献
4.
航天软件审查的实施方法及应用经验 总被引:1,自引:0,他引:1
软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法。该方法包括三大要素 :审查员、审查对象和审查过程。结合我们在航天型号软件开发过程中的软件审查实践 ,分别介绍了软件审查人员的分工和职责、审查的对象和目的 ,以及审查的过程 ,并阐述了我们在航天型号软件审查实践中的结果和体会。 相似文献
5.
6.
基于Petri网模型检验的安全关键软件需求验证 总被引:1,自引:1,他引:0
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统建模进行了扩展,设定默认值为零的权函数、利用“非”虚线描述在状态为假和变迁失败情况下的触发,增强阈值条件的描述能力,区分了枚举型和数值型库所,区分了普通迁移和强赋值迁移,并给出了扩展后的形式化定义及其和检验语言的语义映射。最后给出在典型机载软件上的应用,建立了软件需求模型和部分映射代码,对模型进行检验、反例路径分析和需求完善。过程和结果表明该方法可以有效的支持实际的关键安全软件需求建模和验证。 相似文献
7.
8.
9.
10.
软件维护工具的短缺造成了软件维护费用不断上升,软件维护工具的开发又是一个很难的课题。本文提出软件重用将有助于软件维护费用的降低,软件重用技术不仅可提高软件开发生产率,还可提高软件维护生产率。本文还介绍了一个基于可重用性的软件维护方法和工具。 相似文献
11.
Study of component-ware & application software framework based decision support system development 总被引:1,自引:0,他引:1
He Shengping Qin Zheng & Wang XianghuaSchool of Electronics Information Engineering Xi''''an Jiaotong University Xi''''an P. R. China 《系统工程与电子技术(英文版)》2005,(1)
1.INTRODUCTION Thedevelopmentofthedecisionsupportsystem (DSS)wasanarduousandcomplicatedwork.Asa consequence,software reusewasextremelyempha sizedinthecourseofDSSdevelopment.Traditional methodemploysDSSgeneration(DSSG)tobuilda targetDSSsystem.Itwasin1982thatSpraguepro posedafamousdevelopmentflowofDSSasFig.1. NowadaysitisstillinfashioninDSSdevelop ment[1,2]. IntraditionalDSSdevelopmentprocess,itwas abovealltobreakdowntherequirementQintothe followingfunctionorderedpairs… 相似文献
12.
军事工程综合防护模型研究 总被引:3,自引:1,他引:3
在介绍综合防护内涵及其总体模型优化思路的基础上,以指挥工程为说明对象,针对选取防护措施的等级与费用合理分配以获最大生存概率的问题,运用动态规划原理建立了军事工程综合防护模型,建立递推关系式后,可按逆推法或顺推法进行计算。此外,还可利用模型进行灵敏度分析,为确定最优防护策略提供了方法。最后通过示例说明该模型的应用,得出了相应的结论。 相似文献
13.
军事需求工程研究综述 总被引:3,自引:0,他引:3
军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了探讨。分析总结了国防领域的相关研究成果和典型应用。研究发现军事需求工程正向实用化、规范化、制度化方向发展。 相似文献
14.
针对舰艇编队存在备件短缺风险的问题,提出舰艇编队保障系统的概念,给出舰艇编队使用可用度的计算方法,讨论三者之间的关系并建立数学模型。考虑实际中,执行复杂任务的舰艇编队其部件具有不同的寿命分布,替换时间差别大,不少备件维修后能够继续使用以及备件可修次数受限的情况,建立多可修备件的短缺风险计算模型及其与舰艇编队使用可用度的关系模型。最后通过实例对模型进行仿真,对降低备件短缺风险,提高舰船装备使用可用度有一定的参考价值。 相似文献
15.
ORGANIZATIONAL LEARNING AND VENDOR SUPPORT QUALITY BY THE USAGE OF APPLICATION SOFTWARE PACKAGES: A STUDY OF ASIAN ENTREPRENEURS 总被引:2,自引:0,他引:2
In this paper we study how organizational learning impacts organizational behavior, and howvendor support quality enhances product adoption and usage behavior.These constructs were verifiedusing Application Software Packages(ASP)-a prewritten, precoded, commercially available set ofprograms that eliminates the need for individuals or organizations to write their own softwareprograms for certain functions. The relationship between ASP usage, usage outcomes and useprocesses were also investigated. Two hundred and ninety-five Chinese, Indian, and Malayentrepreneurships were studied. It was found that usage outcome strongly determines usage, while useprocess has only an indirect relationship (via outcome) on usage. The impact of organizational learningand vendor service quality on usage, usage outcome, and use process were robust. Theoretical andpractical implications of the research are discussed. 相似文献
16.
为解决对军事需求理解和描述不统一的问题,从一般意义上探讨了军事需求的概念和特点,并借鉴体系结构框架理论建立了军事需求的多层次多视图结构框架。给出了军事需求总体框架的形式化描述,依次建立了描述军事需求之使命的任务视图、能力视图、系统视图和技术视图的产品体系,最后对军事需求多层次多视图描述中涉及的关键问题进行了分析。建立的描述框架可为军事需求理论研究和实践提供有益的参考。 相似文献
17.
综合多准则决策的保障设施选址-分派方法 总被引:3,自引:1,他引:2
首先总结了现有设施选址决策方法,分析了现有方法的局限性,进而提出了综合多准则决策的保障设施选址-分派方法.在研究描述被保障单位的保障反应时效性要求的函数的基础上,基于最大覆盖选址模型和"部分覆盖"思想建立了使保障部门和被保障单位满意度最大的选址-分派优化模型,给出了基于拉格朗日松弛的模型求解算法并进行了算法实验验证,实验结果表明该算法有效. 相似文献
18.
现代战争中,快速、及时地拟制切实可行的作战计划是军事行动成败与否的关键。针对国外军事人员广泛利用计算机兵棋系统辅助行动方案开发与分析,而我军在计算机兵棋领域仍处于空白的现状,从计划拟制过程出发对兵棋系统的军事需求进行分析研究,为我军兵棋系统的设计开发提供参考依据。 相似文献