Johannes Kepler Univ., Linz;
Petri nets; formal specification; program debugging; software architecture; OMG model-driven architecture; QVT debugging; QVT relations; QVT-tool support; TROPIC; coloured Petri nets; debugging support; graphical debugging; model transformation specification; operational semantics; query-view-transformation standard; software development; colored petri nets; debugging; model transformations;
机译:颜色:通过有色Petri网执行,调试和分析QVT关系转换
机译:嵌入式调试入门:Hugh O'Keeffe研究了常见的嵌入式调试策略,每种策略的优缺点,并介绍了Ashling Microsystems开发的Atmel AVR32片上调试系统和相关的调试工具。
机译:调试非地面ASP程序:技术和图形工具
机译:使用QVT关系的常见缺陷 - 作为补救措施的图形调试
机译:比较法律方法的一个问题:比较加拿大普通法和乌克兰民法中关于违反交付货物销售的买方补救措施。
机译:研究普通感冒的自然疗法:陷阱和陷阱
机译:恢复QVT关系:使用有色petri网进行基于模型的调试