信息系统开发关键技术分析

本文从分析信息系统开发存在的问题出发，论述信息系统开发关键技术，强调从现代管理学和计算机系统的角度建立完整信息平台的重要性、克服单纯用计算机模仿手工式管理和报表方法，提出在正确选择平台基础上，采用适当的分析设计方法和采用先进的软件 具和软件环境以提高信息系统的开发水平。     

信息系统集成技术与开发策略的研究

随着信息技术的迅速发展，集成是对信息系统的新要求，这也是当今信息系统开发中的“瓶颈”问题，分析了信息系统集成的必要性及需解决的问题，从软件开发过程、软件的体系结构及异构数据集成等多个方面讨论了基于集成的信息系统的开发策略及实现技术，并且提出了“基于内容的多模式”数据集成思想及其实现方法。     

信息系统体系结构框架研究

信息系统体系结构框架是一种用于信息系统体系结构开发、描述和集成的统一方法,提供了开发和描述信息系统体系结构的规则、指南和产品描述.本文详细论述了美国DODAF(国防部体系结构框架)的发展历程、最新研究进展,并简要介绍了其它国家体系结构框架的研究情况.     

FADS：一个面向表格的应用程序和数据库开发系统

讨论ＦＡＤＳ系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。ＦＡＤＳ系统的主要特点是面向表格，即数据对象和程序结构都用表格表示，非计算机专业用户可方便地使用ＦＡＤＳ系统提供的软件工具和环境，将基于纸表格的手工办公信息系统计算机化。     

FADS：一个面向表格的应用程序和数据库开发系统

讨论ＦＡＤＳ系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。ＦＡＤＳ系统的主要特点是面向表格，即数据对象和程序结构都用表格表示，非计算机专业用户可方使地使用ＦＡＤＳ系统提供的软件工具和环境，将基于纸表格的手工办公信息系统计算机化。     

基于GIS的地籍管理信息系统设计

提出了利用Map Info和Delphi集成开发基于GIS的地籍管理信息系统的设计、建立过程，阐述了地籍管理信息系统的总体结构和主要模块的功能及实现方法。     

信息系统集成建模方法研究

集成的系统建模方法是在现有建模方法和技术基础上,集成了信息系统开发中常用的三种建模,包括：功能建模、行为建模和结构建模,同时从系统开发的角度增加了系统性能模型,以期对信息系统开发的全过程进行全方位的抽象和支持。     

跨平台下的会计信息系统集成模式研究

根据会计信息系统的基本理论，对会计信息系统的结构进行了分析，提出跨平台环境下会计信息系统信息集成的内容和模式，并提出了网络平台互连和异构数据库集成实现方案。     

基于MapX的渭河流域水环境信息系统的设计

以陕西省渭河流域水环境信息系统为例,对基于GIg的流域环境信息系统的系统目标、系统结构设计、系统内容设计和系统数据库设计进行了分析,并阐述了系统开发中的一些关键技术。系统开发采用客户／服务器结构,并以VB＋Mapx的集成二次开发方式完成系统开发,为渭河流域环境管理部门提供辅助决策支持。     

仿真技术在物料悬浮速度计算中的应用

SIMULINK是MATLAB的重要组件之一,它提供了一个动态系统仿真建模、仿真与综合分析的集成环境．本文基于上述软件工具,设计了一个模糊逻辑控制器,并应用于球形物料悬浮速度计算仿真．与其他计算方法进行了比较,并结合实际分析了仿真的物理意义。     

网络环境下基于软件接口的MIS设计

介绍了如何在网络环境下，利用软件总线，软件接口及独立元的概念进行网络管理信息系统程序设计的方法。以此方法形成的系统，开发周期短，易于移植，易于使在单机结构下在不同时期利用不同软件工具开发的应用程序在网络环境下得以上网运行。     

面向模式识别和图象处理的软件开发环境

本文介绍的软件环境是面向模式识别和图象处理(PRIP)语言——EPPPI的集成化软件开发环境。该语言有机地综合了PASCAL和PROLOG的功能,形成一种兼有过程式和陈述式特点的新风格语言。该环境在EPPPI语言的上面设置了三个层次的工具:语法制导编辑器,PDL/EPPPI详细设计和模块设计。文中介绍了各部分的原理和特点。     

FMS集成开发环境的研究

为了适应快速和高效建造FMS以及重构FMS的需要，本文介绍的FMS集成开发环境由三个部分组成，即FMS布局自动生成系统，运控软件自动生成系统和测试仿真系统．使用该集成开发环境能进行FMS布局设计，能生成运控软件，并能对生成的布局，运控软件进行测试和仿真．     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。     

数控系统软件芯片库集成开发环境的研究

通过对数控系统的功能进行分析、芯片定义及对数控系统软件芯片库运行环境的理论研究，对数控系统软件芯片库运行机制及总体结构进行了探讨，给出了数控软件库各功能芯片及接口信息标准，对各种特征、类型的机床提出了一种通用的数控软件结构，即通过对各个芯片进行耦合来实现一定功能的数控系统，进而为建立一个类似硬件芯片的高可靠性数控系统软件芯片库打下基础．     

基于体系结构的软件分析设计过程模型

引入软件体系结构技术，将软件分析设计过程细分为需求分析、体系结构设计、系统设计3个阶段，并提出了基于体系结构的软件分析设计过程(SADPBA)模型，该模型是一种采用迭代增量方法将功能设计空间映射到结构设计空间，再由结构设计空间映射到系统设计空间的过程．应用函数理论对模型进行了严格的数学定义和形式化描述，确保设计结果满足完备性、一致性和正确可追踪要求．在扩展设计空间建立了需求规范与体系结构、系统设计间的可追踪机制，并建立了基于体系结构的软件分析设计开发环境模型．与传统软件分析设计过程相比，SADPBA模型有严格的理论基础和工程原则，解决了软件系统从需求到实现的平缓过渡问题，提高了软件分析设计的质量和效率．     

自动化软件测试

软件测试为软件生命周期中不保缺少的组成部成部分对提高软件质量起着重要作用,随着软件测试的发展,出现了支持软件测试自动体的软件式工具,该文介绍Rational软件测试工具,进而给出在作战仿真系统开发过程中对上述测试工具的应用。     

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.