...
机译:通过图转换形式化重构
Service de Genie Logiciel, Universite de Mons-Hainaut, Avenue du Champ de Mars 6, 7000 Mons, Belgium;
refactoring; formal specification; graph transformation; behaviour preservation;
机译:使用图变换形式化重构
机译:代数图变换,用于形式化本体更改和不断发展的本体
机译:使用图变换系统展开的基于搜索的重构
机译:将架构重构形式化为图形转换系统
机译:基于搜索的信息系统迁移:关于重构模型转换的案例研究
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:基于图变换的模型级重构的组成验证
机译:非正式分析模型的形式化和转换为执行REFINE(商标)规范。