Computer program verification; Programming languages; Specifications; Modification; Transformations; Methodology; Maintenance;
机译:业务转型―建立模型以在新环境中重用信息
机译:现代文明转型背景下农村经济多样化的方法论
机译:在IT引发的业务转型中对决策方法和满意度进行技术,组织和环境分析
机译:历史文本中的非文学文本重用:一种识别重用转换的方法及其在圣经重用中的应用
机译:统一软件工程重用:有效软件重用的方法
机译:基于价值的新医疗技术评估:建立健壮的方法框架在卫生技术评估中应用多标准决策分析
机译:迈向模型转换的灵活重用:基于图形转换的形式化方法