A Practical Approach To Incremental Specification

机译：增量规范的实用方法

代理获取

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

页面导航

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

著录项

作者
Charles Lakos; Glenn Lewis;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Fitting primitive shapes in point clouds: a practical approach to improve autonomous underwater grasp specification of unknown objects [J] . Fornas D., Sales J., Penalver A., Journal of Experimental & Theoretical Artificial IntelligencernArtificial Intelligence . 2016,第1a2期

机译：在点云中拟合原始形状：提高未知对象的自主水下抓取规范的实用方法
2. Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies [J] . Robert Koenighofer, Georg Hofferek, Roderick Bloem International Journal on Software Tools for Technology Transfer . 2013,第5a6期

机译：调试正式规格：使用基于模型的诊断和对策的实用方法
3. A practical approach to using the IMS-QTI specification [J] . Odette Auzende, Helene Giroire, Frangoise Le Calvez International Journal of Learning Technology . 2012,第4期

机译：使用IMS-QTI规范的实用方法
4. A PRACTICAL APPROACH TO INCREMENTAL SPECIFICATION [C] . Charles Lakos, Glenn Lewis IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Sep 6-8, 2000, Stanford, California, USA . 2000

机译：增量规格的实用方法
5. Incremental specification and verification of object systems. [D] . Fridella, Stephen Anthony. 2000

机译：对象系统的增量规范和验证。
6. A practical approach to assess leg muscle oxygenation during ramp-incremental cycle ergometry in heart failure [O] . A.C. Barroco, P.A. Sperandio, M. Reis, 2017

机译：一种评估心力衰竭坡度增量运动测功期间腿部肌肉氧合作用的实用方法
7. Using the B formal approach for incremental specification design of interactive systems [O] . Yamine Aït-Ameur, Patrick Girard, Francis Jambon 1999

机译：使用B型互动系统增量规范设计的正式方法
8. Automatic Parallelization: An Incremental, Optimistic, Practical Approach [R] . Schwartz, N. 1999

机译：自动并行化：增量，乐观，实用的方法

A Practical Approach To Incremental Specification

著录项

引文网络

相似文献

相关主题

期刊订阅