需求规约相关论文
软件需求分析是软件生命周期的开始.在现代软件开发过程中,需求分析占有特别重要的地位.计算机辅助需求分析是CASE的一个重要研究......
随着信息技术的发展，计算机技术已经融入了现代社会各个领域，得到极其广泛的应用。然而在这样的背景下，计算机系统的异常可能会造成灾......
一般来说,软件系统天生就是无形、抽象、复杂的,并且--至少从理论上来说--它们是可无限改变的.文中引入著名的"石头问题",说明客户......
软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取......
分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法......
软件需求工程和软件体系结构设计是软件开发中的两个早期关键活动．如何自动或半自动地实现从需求规约到软件体系结构的变换一直是学......
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,......
模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模......
提出了一种能将形式化定义的并行系统需求规约转换为Ｊａｖａ并行程序框架的技术，Ｊａｖａ并行程序框架的线程中含有前后断言，可用传统的串行系统转换......
自适应软件越来越多地被应用于不同的领域,如各种分布式信息系统、安全攸关的抗毁系统、防病毒防入侵系统等.正确理解系统的适应性......
软件需求获取与分析是是需求工程领域中研究的一个难点问题,Internet 环境下软件开发同样面临需求的准确获取和规约的完备性问题。......
用大数据方法对自然语言软件需求文档进行分析,基于LDA三层贝叶斯网概率主题模型,将文档建模为多个主题的混合概率分布,将每一个隐......
多视点方法是解决需求工程中诸多问题的有效手段,但现有的方法都存在着一些不足.在研究了这些方法后提出了基于问题域和视点代理的......
高可信系统的软件规模不断扩大，其关键是分析并定义一致的可信需求描述，直接影响到需求规格说明的质量，进而影响到最终软件产品的质量......
目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方......
高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情......
随着软件系统开发在各行各业的不断运用和发展,人们对软件系统的实时性、可靠性和安全性等任务关键属性要求越来越高。为保证软件......
中国有句老话:“凡事预则立,不预则废”,说的就是做事情时事先计划的重要。对于软件测试工作,计划的意义也同样如此。在经历过失败......
