首页> 外文OA文献 >Data Warehouses Application in the Automated Testing and Verification System for Mathematical Models

【2h】

Data Warehouses Application in the Automated Testing and Verification System for Mathematical Models

机译：数据仓库在数学模型自动化测试和验证系统中的应用

代理获取

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

页面导航

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

著录项

作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automated verification and testing of user-interactive undo features in database applications [J] . Minh Ngoc Ngo, Hee Beng Kuan Tan Software Testing, Verification and Reliability . 2012,第4期

机译：自动验证和测试数据库应用程序中的用户交互撤消功能
2. DEVELOPMENT OF AN AUTOMATED TESTING SYSTEM FOR VERIFICATION AND VALIDATION OF NUCLEAR DATA AND SIMULATION CODE [J] . BRIAN S. TRIPLETT, SAMIM ANGHAIE, MORGAN C. WHITE Nuclear Technology . 2010,第1期

机译：核数据和模拟代码验证与验证自动测试系统的开发
3. Automated mathematical modeling from experimental data: an application to material science [J] . Capelo A.C., Ironi L. IEEE transactions on systems, man and cybernetics. Part C . 1998,第3期

机译：实验数据的自动数学建模：在材料科学中的应用
4. The Research and Application of Data Warehouse's Model Design: The Data Warehouse's Model Design for the Decision Support System of Hospital Drugs [C] . Zhangzhi Zhao, Jing Li, Yongfei Ye, International conference on frontier computing: theory, technologies and applications . 2016

机译：数据仓库模型设计的研究与应用：医院药品决策支持系统的数据仓库模型设计
5. An Approach for Testing the Extract-Transform-Load Process in Data Warehouse Systems [D] . Homayouni, Hajar. 2018

机译：一种测试数据仓库系统中提取-转换-加载过程的方法
6. SYRIAC: The SYstematic Review Information Automated Collection System A Data Warehouse for Facilitating Automated Biomedical Text Classification [O] . Jianji J. Yang, Aaron M. Cohen, Marian S. McDonagh 2008

机译：SYRIAC：SYstematic审查信息自动收集系统用于促进生物医学文本自动分类的数据仓库
7. Verifying Real-Time Embedded Software by Means of Automated State-based Online Testing and the SPIN Model Checker—Application to RTEdge Models [O] . Wafa Hasanain -1

机译：通过自动化的国家在线测试和旋转模型检查器应用于RTEGGE模型来验证实时嵌入式软件

Data Warehouses Application in the Automated Testing and Verification System for Mathematical Models

著录项

引文网络

相似文献

相关主题

期刊订阅