机译:电子表格程序的基于模型的诊断:基于约束的调试方法
TU Dortmund, Dortmund, Germany;
TU Dortmund, Dortmund, Germany;
Model-based diagnosis; Constraints; Spreadsheet programs;
机译:调试正式规格:使用基于模型的诊断和对策的实用方法
机译:学习使用基于分层模型的调试进行编程
机译:电子表格的基于模型的编程环境
机译:正确的选择很重要! SMT解决方案大大改善了基于模型的电子表格调试
机译:新程序中基于错误的错误诊断(程序理解,调试,智能计算机辅助说明)。
机译:诊断呼吸暂停的高中啦啦队员采用呼吸和全运动RELEASE®运动计划的新方法:一例病例报告
机译:基于模型的自动化电子表格调试