Institut fuer Software- und Multimediatechologie Technische Universitaet Dresden, Germany;
rnInstitut fuer Software- und Multimediatechologie Technische Universitaet Dresden, Germany;
rnInstitut fuer Software- und Multimediatechologie Technische Universitaet Dresden, Germany;
maintenance; adaptation; refactoring; software framework;
机译:使用ACL2对文件系统进行二进制兼容的验证
机译:油砂升级商可能在管道危机中卷土重来
机译:云限制求解器:一种基于重构的方法,可将应用程序迁移到云
机译:卷土!:基于重构的二进制兼容框架升级工具
机译:自动重构历史重构和动态组件自适应框架,用于基于重构的软件组件演化。
机译:混合AAVP工具得到升级
机译:升级:构建基于图的交互式工具的框架