B方法和构件技术在软件开发中的应用研究

提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.     

基于Real—TimeObject—Z语言的铁路交叉道口系统的形式化描述

形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.     

形式化的安全分析方法在智能轨道交通的应用

在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺乏统一的标准,而形式化方法可以有效验证和评估系统设计正确性。文章研究了形式化安全保障技术在智能轨道交通领域的应用,针对全自动驾驶FAO系统中各子系统之间复杂的交互作用,文章结合了形式化方法和STPA方法。以车载ATP系统为例,进行形式化和安全分析方法的结合分析,按照STPA步骤进行安全分析,识别系统相关的安全约束,并运用了XSTAMPP软件辅助分析过程。研究结果实现了自然语言的安全需求到线性时序逻辑(LTL)的形式化规范的转化,有效避免了可能存在的二义性,体现了STPA与形式化结合方面的实际应用价值,并为接下来进行形式化验证提供参考。     

浅析形式化描述方法的应用

形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规格、设计和实现等。使用这种描述方法可以帮助开发者发现软件系统的设计、实现和程序中的问题和缺陷,能够较好的提高软件系统的正确性和可靠性。本文介绍了形式化方法的基本内容、分类以及应用等方面,分析了其思想和应用情况,以及形式化方法在软件工程中的优势和可靠性,并列举了一个简单的实例。     

软件需求分析中的干系人管理

需求分析是软件项目的第一阶段,是整个软件产品和软件项目的基础。而干系人识别、分析和管理又是需求分析不可忽视的第一步。若干系人识别完全,沟通顺畅,可以很大程度地降低软件项目因为需求不清或需求遗漏而导致的各种问题。相反,若干系人识别不完全或沟通不顺利,可能会加大项目风险。所以干系人管理不仅仅是项目管理的一部分,在需求分析阶段同样是需求分析师们不可忽视的工作。本文中,笔者介绍了软件项目需求分析中用于干系人识别、分析和管理的常用工具和方法。希望通过介绍,可以使软件项目的需求分析过程更为顺利,减少因为需求而导致的项目问题。     

如何做好信息系统项目开发中的需求分析

需求分析是系统开发的基础。在信息系统项目的开发过程中,人们越来越体会到需求分析的重要性,含糊的需求描述,频繁的需求变更,加重了用户和系统开发双方的工作任务,需求分析的偏差,将会造成设计,编码工作的大量返工,甚至导致项目失败。本文从信息系统项目的特点,需求分析的步骤,需求获取和需求定义的方法几个方面论述了如何做好信息系统项目开发中的需求分析。     

通过PowerDesigner实现公交系统的初步设计

利用 Power Designer对河南省机动车管理系统的需求分析及总体设计模型进行仿真 .在需求分析中弄清系统开发的软、硬件环境及目标 ,在此基础上完成系统流程图、系统结构图、实体关系图的设计 ,讨论数据字典的构造 ,实现了数据模型的创建及相应的标准概念模型报告的生成和物理模型的生成 .对如何利用快速原形法开发工具 ,把物理模型转化成 Power Builder程序进行了展望 .     

浅谈软件项目开发过程中的需求分析

需求分析是软件开发过程中十分关键的工作内容,能够对整个软开发工作产生决定性质作用。在现代IT行业中,软件开发往往需要大量的前期成本投入,其中软件返工成本投入在总成本投足中占据较大比例,主要原因来自软件开发目的、需求的不清晰,需求分析工作应运而生。本章就需求分析任务的意义与目的入手,浅要介绍软件需求分析的运行机制,旨在强调需求分析工作质量的重要性。     

形式化技术在软件工程中的作用

本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向,并且对形式化技术在软件工程中的作用进行了评价。     

无线网络安全协议的形式化分析方法

随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。