机译:在检测自然电子表格错误时评估静态分析程序与手动检查的有效性
Collins College of Business, University of Tulsa, Tulsa, OK, USA;
Department of IT Management, University of Hawaii at Manoa, Honolulu, HI, USA;
Natural Errors; Seeded Errors; Spreadsheet Engineering; Spreadsheet Error Detection; Spreadsheet Error Taxonomy; Spreadsheet Quality Control; Static Analysis Programs; Verification and Validation;
机译:减少电子表格中的错误:示例驱动建模与传统编程
机译:评估和提高车辆检查和维护计划的有效性:一种成本效益分析框架
机译:考虑检验误差的基于动态规划和贝叶斯推理的验收抽样模型成本分析
机译:基于通用不变式的静态分析工具,用于检测Java程序中的运行时错误
机译:评估公式表达式评估器的效率和有效性:电子表格错误减少工具。
机译:评估长期护理计划的成本效益分析与成本效益分析。
机译:节目对象自然语义缺陷静态分析的有效评价