软件工程工具AS/SET与应用系统开发

计算机辅助软件工程(CASE)已经不仅仅是课堂上讲授、实验室中研究的科学。随着计算机应用软件需求量的日益增长及软件规模的日益扩大,为计算机用户提供一整套计算机辅助软件工程工具便具有了其战略意义。     

软件工程在模拟潜艇指控台上的应用

介绍了模拟潜艇指控台在军事应用软件的计划与开发过程中所面临的各种困难,提出并采用了软件工程设计的方法来解决此类问题的思路与方法。     

航测平台监测系统的开发应用研究

航测平台监测系统是在航测平台系统的调试开发过程中,根据工程的实际需要开发完成的.系统具有硬件实现简单、软件灵活、独立性强、易于扩展等特点.对该系统的组成、设计实现方法做了详细的介绍,对系统进一步的研究进行了探讨,并对系统开发应用中的特点进行了分析.通过实际应用,证明该系统具有一定的工程应用和研究意义.     

防空导弹武器系统软件质量控制的环节

一些典型的武器系统软件实例表明,影响防空导弹武器系统作战成败的关键因素之一是其软件（尤其是作战软件）的质量。如何确保这类关键软件的质量,一直是困扰着武器系统决策人员、软件人员和质量管理人员的一个大问题,也是软件生产中的一个薄弱环节。在型号软件的开发过程中,经初步的实践认为软件验证与确认、软件测试、软件评审和软件管理是控制软件质量的４个重要环节。在简要描述防空导弹武器系统软件属性的基础上,重点阐明每个环节的作用、意义、实施方法和要求等。     

军用软件研制过程存在问题与对策研究

<正>通过分析当前军用软件在研制过程中存在的几个较为普遍的问题,结合日常开展软件质量管理的工作经验,提出了军代表在研制过程应该分别注意的环节以及采取的对策。引言随着武器装备信息化、自动化程度的提高,军用软件在武器系统中占有的比重和作用越来越大。软件产品规模和层次的提高,带来了软件研制、生产、使用和维护中的一系列技术、管理问题。按照传统"手     

浅议加强军用装备软件工程化管理

软件工程化是用工程的方法开发软件,即采用可定义、可量化、可再生产和管理的工程实践方法,实现软件产品的开发过程。软件工程化是系统化、规范化、数量化地进行装备软件开发和维护最为有效的途径,是对装备软件采取有组织的质量保证和全面质量管理的重要方法和手段,是提高软件质量和可靠性水平的必要保证。随着我军向实现机械化和信息化的目标跨越式地迈进,大量新型装备陆续开始研制或投入生产,提高装备软件质量重要性日益突出,积极推进软件工程化,将有效的解决当前装备软件质量管理工作中存在的问题,提高装备软件质量水平。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

武器系统软件测试的研究与实践

软件测试作为一种强有力的软件质量保证手段,已逐渐地引起了广泛的兴趣。随着嵌入式计算机在战术导弹武器系统中的应用,人们已愈来愈重视软件可靠性问题。本文通过对某武器系统软件工程的实践,介绍了软件测试的一些方法。     

模块化与计算机软件设计

本文提出了软件工程的基本特征就是模块化,其核心是多级的模块层次结构和模块的独立性。本文还对软件模块化的价值作了分析。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。