Toward Easy Inspection and Effective Useof Formal Methods in NPP Software Fields

机译：在NPP软件领域中易于检查和有效使用正式方法

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

来源
《2002 Summer meeting of American Nuclear Society (ANS)》|2002年|p.73-77|共5页
会议地点 Hollywood FL(US)
作者
Seo Ryong Koo; Han Seong Son; Poong Hyun Seong; Junbeom Yoo; Sung Deok Cha; Dae Seong Son; Seong Soo Choi;
展开▼
作者单位

KAIST–Korea;

KAIST–Korea;

KAIST–Korea;

KAIST–Korea;

KAIST–Korea;

KAIST HTC–Korea;

KAIST HTC–Korea;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类各种核反应堆、核电厂;
关键词

相似文献

外文文献
中文文献
专利

1. Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields [J] . Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Transactions of the American nuclear society . 2002,第Jun期

机译：在NPP软件领域中易于检查和有效使用形式化方法
2. An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification [J] . Seo Ryong Koo, Poong Hyun Seong, Junbeom Yoo, Reliability Engineering & System Safety . 2005,第3期

机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
3. Software inspections: comparing a formal method based with a classical reading methodology [J] . Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Junior, Lucas Venezian Povoa, International Journal of Computer Applications in Technology . 2019,第4期

机译：软件检查：比较基于古典阅读方法的正式方法
4. Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields [C] . Seo Ryong Koo, Han Seong Son, Poong Hyun Seong, Meeting of American Nuclear Society . 2002

机译：在NPP软件领域轻松检查和有效地使用正式方法
5. Improving Software Quality by Synergizing Effective Code Inspection and Regression Testing [D] . Guo, Bo. 2017

机译：通过协同有效的代码检查和回归测试来提高软件质量
6. HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. [O] . B. G. Silverman, O. Sokolsky, V. Tannen, 1999

机译：HOLON / CADSE：集成开放软件标准和正式方法以生成基于准则的决策支持代理。
7. Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments [O] . Luqi, Brockett Jim 1994

机译：1994年蒙特利研讨会的论文集，增加了计算机辅助软件开发的正式方法的实际影响：大型软件系统的演化控制，用于集成软件开发环境的技术

Toward Easy Inspection and Effective Useof Formal Methods in NPP Software Fields

著录项

相似文献

相关主题

期刊订阅