Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012

来源 :软件工程与应用(英文) | 被引量 : 0次 | 上传用户:wujuan0902
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
IEEE 1012 [1] describes the SDLC phase activities for software independent verification and validation (IV & V) for nuclear power plant in truly general and conceptual manner, which requires the upward and/or downward tailoring on its interpretation f
其他文献
此组家具系父亲送给罗蜀芳的。罗蜀芳的父亲罗应阳是一位专营木质镜匣制作的手工业主,在业界享有盛誉。这一只茶桌、两把椅子,真材实料、工艺讲究、造型优美、质量上乘。父亲送
地处黄河三角洲平原腹地的中国鸭梨之乡阳信县,属于经济欠发达县。几年来,他们紧紧围绕经济建设这个中心,结合实际,突出重点,探索有效途径,构筑了一个有自身特点的欠发达地区精神文
部分自闭症儿童存在视觉注意力异常现象,严重影响他们的认知学习和人际互动,也导致其在融合环境中面临诸多挑战。通过选取一名自闭症儿童,采用单一被试研究中的A-B-A-B倒返式
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of e
Simulated signal, produced by digital to analog converter, is important and necessary in many fields, such as electronic experiment, equipment debugging and mai
The application of Genetic Algorithm (GA) to the optimization of important parameters (Directivity, Radiated Power, Impedance etc.) of magnetically biased micro
The principle aim of this paper is to explore the existence of periodic solution of n-Species Gilpin-Ayala competition system with impulsive perturbations. Suff
文章在分析网络课程教学现状、教学优势和网络课程的发展趋势的基础上,结合宁夏某职业技术学院C语言课程,设计开发了满足宁夏某职业技术学院C语言课程的网络教学辅助系统。运用
特定阅读理解障碍是阅读障碍的一个亚类型,近年来受到西方研究者的重视。针对特定阅读理解障碍的研究主要来自认知与执行功能两个方面.其中认知领域的研究多围绕语言技能、一般
Peer-to-peer (P2P) application could be viewed as fast pull-based file-sharing system. P2P methods can deliver large files by dividing them into small chunks. H