document handling; formal specification; formal verification; software process improvement; AGRT; Checklist method; PBR-User method; TUCCA; UCRT; abstraction; actor goal reading technique; construction-based requirement; defect detection; document analysis; inspection;
机译:政治技能提高了情绪智力的有效性:建筑业的贝叶斯网络分析
机译:大型工业项目中管理计划对提高建筑劳动生产率有效性的统计分析
机译:面向模型的安全需求工程的有效性和性能分析,以得出安全需求:开发安全软件系统的系统解决方案
机译:TUCCA:提高用例构建和需求分析的有效性
机译:提高成本效益并减轻可再生能源需求的风险
机译:基于测序的基因分型用于基于SNP的连锁图谱构建以及桃的冷害要求和开花日期的QTL分析Prunus persica(L.)Batsch
机译:计算建筑工程环境损害成本的方法,作为提高建设环境安全效力的方法