需求规约相关论文
提出了一种支持OWL-S需求规约演化的反射机制,在需求分析阶段,使用OWL-S描述系统的需求规约,使用OWL-SA描述需求变更,通过反射机制......
软件需求分析是软件生命周期的开始.在现代软件开发过程中,需求分析占有特别重要的地位.计算机辅助需求分析是CASE的一个重要研究......
随着信息技术的发展,计算机技术已经融入了现代社会各个领域,得到极其广泛的应用。然而在这样的背景下,计算机系统的异常可能会造成灾......
针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形......
强大的计算能力、存储能力和简单高效的编程接口,使得一位程序员能够轻松地操控成千上万台计算机,而不必考虑太多的细节。在信息技......
纸论述设计环境的嵌入的即时面向软件的要求—SREE。它包含设计的软件要求的整个进程,包括定义,分析并且要求说明检查。我们首先解释......
提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效......
一般来说,软件系统天生就是无形、抽象、复杂的,并且--至少从理论上来说--它们是可无限改变的.文中引入著名的"石头问题",说明客户......
软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取......
用定量手段研究需求演化需要相关方法加以指导。利用排队论来分析需求变化请求从提出到实现的整个过程所具有的排队模型特征。在M/......
分析了传统测试的弊端和动态监测的现状,提出并实现了根据形式化逻辑描述的需求规约,判断软件运行行为是否符合预期的动态监测方法......
软件需求工程和软件体系结构设计是软件开发中的两个早期关键活动.如何自动或半自动地实现从需求规约到软件体系结构的变换一直是学......
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,......
模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模......
提出了一种能将形式化定义的并行系统需求规约转换为Java并行程序框架的技术,Java并行程序框架的线程中含有前后断言,可用传统的串行系统转换......
自适应软件越来越多地被应用于不同的领域,如各种分布式信息系统、安全攸关的抗毁系统、防病毒防入侵系统等.正确理解系统的适应性......
软件需求获取与分析是是需求工程领域中研究的一个难点问题,Internet 环境下软件开发同样面临需求的准确获取和规约的完备性问题。......
用大数据方法对自然语言软件需求文档进行分析,基于LDA三层贝叶斯网概率主题模型,将文档建模为多个主题的混合概率分布,将每一个隐......
高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量......
目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模,提出了谓词驱动的目标求精方......
高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情......
随着软件系统开发在各行各业的不断运用和发展,人们对软件系统的实时性、可靠性和安全性等任务关键属性要求越来越高。为保证软件......