首页> 美国政府科技报告 >Technical specifications requirements: Automated reasoning applications. Final report.

【24h】

Technical specifications requirements: Automated reasoning applications. Final report.

机译：技术规范要求：自动推理应用程序。总结报告。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Several software systems were developed and tested to determine what advantages could be gained from explicitly translating complicated regulatory requirements into computerized relationships. The Technical Specifications for US nuclear power plants were ...

著录项

作者
L. M. Lidsky A. B. Dobrzeniecki;
展开▼
作者单位

展开▼
年度 1990
页码 1-16
总页数 16
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Automation; Computer applications; Computer Architecture; Computer software; EDB/220000; EDB/990200; Expert Systems; Monitoring; Nuclear Power Plants; Progress Report; PROLOG; Regulatory Guides; Software engineering;

机译：自动化;计算机应用;计算机体系结构;计算机软件; EDB / 220000; EDB / 990200;专家系统;监测;核电站;进展报告; pROLOG;管理指南;软件工程;
入库时间 2022-08-29 11:20:03

相似文献

外文文献
中文文献
专利

1. A Model for the Identification of KAOS Elements (Knowledge Acquisition Automated Specification) from the Specification of Requirements in Natural Language [J] . Lezcano Luis A, Guzmán Jaime A, Vélez Carlos A Informacion Tecnologica . 2015,第6期

机译：从自然语言需求规范中识别KAOS元素的模型（知识获取自动规范）
2. Combining abductive reasoning and inductive learning to evolve requirements specifications [J] . dAvila Garcez A.S., Russo A., Nuseibeh B., IEE Proceedings. Part L, Software . 2003,第1期

机译：结合归纳推理和归纳学习以发展需求规范
3. Combining abductive reasoning and inductive learning to evolve requirements specifications [J] . A.S. dAvila Garcez, A. Russo, B. Nuseibeh, IEE Proceedings. Part L, Software . 2003,第1期

机译：结合归纳推理和归纳学习以发展需求规范
4. Synergy of Technical Specifications, Functional Specifications and Scenarios in Requirements Specifications [C] . J. Miedema, M. C. van der Voort, D. Lutters, CIRP Design Conference . 2007

机译：技术规范的协同作用，需求规格的功能规范和方案
5. Modeling of and reasoning about construction specifications to support automated defect detection. [D] . Boukamp, Frank. 2006

机译：为支持自动缺陷检测而对构造规范进行建模和推理。
6. The method to divide a sentence of requirement into individual requirements and the development of requirement specification editor which can describe individual requirements [O] . Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, -1

机译：将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
7. THERMOELECTRIC LEG PRODUCT SPECIFICATION (TELPS). FINAL TECHNICAL REPORT. VOLUME 1. TECHNICAL RESULTS. PART 1. [O] . J.D. Richards 1967

机译：热电腿产品规格（TELP）。最终的技术报告。卷1.技术结果。第1部分。

Technical specifications requirements: Automated reasoning applications. Final report.

摘要

著录项

相似文献

相关主题

期刊订阅