2. 您的位置
3. 首页
4. 期刊论文
5. Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012

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 con

【作 者】

：

Joon Ku Lee Yang Mo Kim 

【机 构】

：

DepartmentofElectricalEngineering,KoreaAtomicEnergyResearchInstitute

【出 处】

：

软件工程与应用(英文)

【发表日期】

：

2012年10期

【关键词】

：

Korea Standard Nuclear Plant (KSNP) INSTRUMENTATION and CONTROL (I & C) CONT 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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倒返式

期刊

自闭症视觉注意力干预迁移效果个案研究children with autismvisual attention interventionmigrati

An Embedded Software Modeling and Process by Using Aspect-Oriented Approach

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

期刊

Platform-BasedDesignASPECT-ORIENTEDUNIFIEDMODELINGLANGUAGEEMBEDDEDSOFTWAR

Design and Application of Software for Generating Simulated Signal Data

Simulated signal, produced by digital to analog converter, is important and necessary in many fields, such as electronic experiment, equipment debugging and mai

期刊

DigitaltoANALOGCONVERTERWavePICTURESIMULATEDSIGNALDigital to Analog Conv

Application of Genetic Algorithm for Optimization of Important Parameters of Magnetically Biased Mic

The application of Genetic Algorithm (GA) to the optimization of important parameters (Directivity, Radiated Power, Impedance etc.) of magnetically biased micro

期刊

CAVITYMethodCircularFERRITEMICROSTRIPANTENNAGENETICAlgorithmMAGNETICALLY

Periodic Solution of n-Species Gilpin-Ayala Competition System with Impulsive Perturbations

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

期刊

PeriodicsolutionIMPULSIVEPERTURBATIONSMawhin’sCONTINUATIONTHEOREMPeriodic

基于moodle的C语言网络课程教学系统的设计与开发

文章在分析网络课程教学现状、教学优势和网络课程的发展趋势的基础上，结合宁夏某职业技术学院C语言课程，设计开发了满足宁夏某职业技术学院C语言课程的网络教学辅助系统。运用

期刊

网络课程教学辅助系统MOODLE师生交互network curriculum teaching assistant system moodle the

特定阅读理解障碍者认知缺陷研究进展

特定阅读理解障碍是阅读障碍的一个亚类型，近年来受到西方研究者的重视。针对特定阅读理解障碍的研究主要来自认知与执行功能两个方面．其中认知领域的研究多围绕语言技能、一般

期刊

特定阅读理解障碍认知缺陷语言技能一般认知能力认知灵活性specific reading comprehension deficit cognitive

Performance Evaluation of Proactive Peer-to-Peer File-Sharing Application for Releasing Network Cong

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

期刊

NETWORKTrafficPEER-TO-PEERBACKBONENETWORKNETWORKManagementINTRANETNetwor