首页> 外文OA文献 >Taking advantage of some complementary modelling methods to meet critical system requirement specifications

【2h】

Taking advantage of some complementary modelling methods to meet critical system requirement specifications

机译：利用一些互补的建模方法来满足关键系统需求规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
F. Defossez; P. Bon; S. Collart-Dutilleul;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design automation for embedded systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
2. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design Automation for Embedded Systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
3. 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安全关键系统的软件需求分析的有效技术
4. Taking advantage of some complementary modelling methods to meet critical system requirement specifications [C] . F. Defossez, P. Bon, S. Collart-Dutilleul Computers in railways XI : Computer system design and operation in the railway and other transit systems . 2008

机译：利用一些补充建模方法来满足关键系统需求规范
5. A METHODOLOGY FOR DEVELOPING REQUIREMENT AND DESIGN SPECIFICATIONS FOR DISTRIBUTED SOFTWARE SYSTEMS USING ATTRIBUTE GRAMMAR. [D] . YU, WEI-DER. 1984

机译：使用属性语法为分布式软件系统开发需求和设计规范的方法。
6. Functional Requirements Specification and Data Modeling for a PDA-based Decision Support System for the Screening and Management of Obesity [O] . Nam-Ju Lee, Ritamarie John, Suzanne Bakken 2006

机译：基于肥胖症筛查和管理的基于PDA的决策支持系统的功能需求规范和数据建模
7. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [O] . Tevfik Bultan, Constance Heitmeyer 2010

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
8. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [R] . Bultan, T., Heitmeyer, C. 2006

机译：将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范

Taking advantage of some complementary modelling methods to meet critical system requirement specifications

著录项

引文网络

相似文献

相关主题

期刊订阅