机译:使用三图语法的面向对象系统的形式化建模和分析
MISC Laboratory, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
MISC Laboratory, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
MISC Laboratory, NTIC Faculty, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria;
EMF; GMF; Graph Transformation; LTL Model Checker; Maude Specifications; TGG Interpreter; UML Models;
机译:基于三元图语法的模型转换的形式分析
机译:具有应用条件的三重图文法的模型转换的形式规范
机译:使用面向对象的分析模型来推导和解释信息语法
机译:基于三图语法的模型转换功能行为的形式化分析
机译:面向对象软件系统的性能建模和分析。
机译:一种新的地理空间叠加方法用于使用面向对象的数据建模概念来分析和可视化空间变化模式
机译:基于三元图语法的模型转换的形式分析
机译:在面向对象的形式转换系统中明确建立分层异构软件体系结构