Department of Information and Computing Sciences, Universiteit Utrecht P.O.Box 80.089, 3508 TB Utrecht, The Netherlands;
type inferencing; type graph; constraints; heuristics; error messages; error recovery;
机译:发现哈勃定律为一系列III类错误
机译:关于错误发现率和预期的I型错误
机译:剩余型和梯度恢复型后验误差估计在一维的一致原子与连续耦合方法的分析
机译:类型错误发现和恢复的启发式
机译:自适应C(0)Galerkin有限元方法中的恢复型后验误差估计
机译:一种使用临床模拟验证安全启发式的方法:识别和预防与使用健康信息系统相关的可能的技术导致的错误
机译:用于类型错误发现和恢复的启发式方法
机译:IDamsT错误处理和恢复系统的计算机程序开发规范,软件类型B5。附录3