首页> 外文OA文献 >Scalable Automated Verification via Expert-System Guided Transformations

【2h】

Scalable Automated Verification via Expert-System Guided Transformations

机译：通过专家系统引导转换实现可扩展的自动验证

页面导航

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

著录项

作者
Hari Mony; Jason Baumgartner; Viresh Paruthi; Robert Kanzelman; Andreas Kuehlmann;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automated verification of model transformations based on visual contracts [J] . Esther Guerra, Juan de Lara, Manuel Wimmer, Automated software engineering . 2013,第1期

机译：基于视觉合同的模型转换的自动验证
2. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations [J] . Mark Asztalos, Péter Ekler, László Lengyel, Electronic Communications of the EASST . 2011,第2期

机译：通过基于图重写的模型转换的声明性描述进行自动验证
3. Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models [J] . Márk Asztalos, László Lengyel, Tihamér Levendovszky Electronic Communications of the EASST . 2009,第5期

机译：走向模型转换的自动验证：重构业务流程模型分析的案例研究
4. Scalable Automated Verification via Expert-System Guided Transformations [C] . Hari Mony, Jason Baumgartner, Viresh Paruthi, International Conference on Formal Methods in Computer-Aided Design(FMCAD 2004); 20041115-17; Austin,TX(US) . 2004

机译：通过专家系统指导的转换实现可扩展的自动验证
5. A Methodology for Automated Verification of Rosetta Specification Transformations [D] . Lohoefener, Jennifer L. 2011

机译：Rosetta规范转换的自动验证方法
6. Method comparison of automated matching software-assisted cone-beam CT and stereoscopic kilovoltage x-ray positional verification image-guided radiation therapy for head and neck cancer: a prospective analysis [O] . Clifton D Fuller, Todd J Scarbrough, Jan-Jakob Sonke, -1

机译：自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较：前瞻性分析
7. Automated Verification of Model. Transformations in the Automotive Industry [O] . Selim, Gehan, Büttner, Fabian, Cordy, James R., 2013

机译：自动验证模型。汽车行业的变革
8. Lithium-Ion Life Expectancy Verification Guidelines for Transformational Communication Satellite System (TSAT) [R] . Hwang, W. H. , Ang, V. J. 2005

机译：转换通信卫星系统（TsaT）的锂离子寿命预测验证指南

Scalable Automated Verification via Expert-System Guided Transformations

著录项

引文网络

相似文献

相关主题

期刊订阅