首页> 外文OA文献 >Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

【2h】

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

机译：验证义务：一种核准要求与其正式规范遵守的新方法

代理获取

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

页面导航

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

著录项

作者
Atif Mashkoor; Michael Leuschel; Alexander Egyed;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker [J] . Toufik Taibi International journal of artificial intelligence and soft computing . 2008,第1期

机译：使用TLA +和TLC模型检查器对多主体行为进行正式规范和验证
2. Human Factor of Formal Engineering Methods in Validating Requirement Specification [J] . Advanced Science Letters . 2017,第6期

机译：验证要求规范中正式工程方法的人为因素
3. Qualitative formal method for requirements specification and validation of hybrid real-time safety systems [J] . Lee J.-S., Cha S.-D. IEE Proceedings. Part L . 2000,第1期

机译：混合实时安全系统的需求规格说明和验证的定性形式方法
4. Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification [C] . Atif Mashkoor, Michael Leuschel, Alexander Egyed International Conference on Software Engineering: New Ideas and Emerging Results . 2021

机译：验证义务：一种核对要求与正式规范的遵守的新方法
5. Essays on Noncustodial Fathers' Formal Child Support Obligations: Factors Affecting Child Support Payments and Compliance [D] . Vogel, Lisa Klein. 2019

机译：非自由审慎父亲的正式儿童支持义务：影响儿童支付和合规性的因素
6. Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks [O] . Muhammad Imran, Nazir Ahmad Zafar 2012

机译：无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
7. An Experiment To Evaluate An Approach To Teaching Formal Specifications Using Model Checking [O] . Salamah Salamah, Steve Roach, Omar Ochoa, -1

机译：使用模型检查评估教学教学方法的实验
8. Tools for Formal Specification, Verification, and Validation of Requirements. [R] . Heitmeyer, C., Kirby, J., Labaw, B. 1997

机译：用于形式规范，验证和要求验证的工具。

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification

著录项

引文网络

相似文献

相关主题

期刊订阅