University of Toronto (Canada).;
机译:通过动态增量细化进行精确的语义历史切片
机译:面向未来的设计:受管软件的演进长寿命软件系统的DFG优先级程序
机译:面向未来的软件设计-计划和管理的软件演进
机译:通过语义历史切片管理软件演化
机译:管理面向代理的软件开发和演化。
机译:概念问题和标准。医疗硬件软件和信息交换的标准:脉搏血氧仪的MIB软件语义模型ASN.1消息传递
机译:一种基于语义的软件原型变更合并的切片方法
机译:基于语义的软件原型变更合并的切片方法