...
机译:软件产品线的正式规范:一种基于图变换的方法
Department of Computer Science, University of Jijel, Jijel, Algeria;
MISC Laboratory, Department of Computer Science, University of Constantine, Algeria;
Department of Computer Science, University of Biskra, Biskra, Algeria;
Department of Computer Science, University of Jijel, Jijel, Algeria;
software product line; featured transition system; feature diagram; specification; verification; rewriting logic; maude; graph transformation;
机译:软件产品线的正式规范:一种基于图变换的方法
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:软件产品线变体的结构验证:一种基于图变换的方法
机译:基于规范的方法来测试软件产品线
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:基于低成本软件方法的远程医疗心电图分析
机译:基于规范的软件产品线测试方法
机译:从基于图形的面向对象表示到基于理论的规范的形式转换