Scifaro

中文

使用 GrGen.NET 解决 TTC 2011 再工程案例

编程语言 2011-11-22 v1

作者: Edgar Jakumeit , Sebastian Buchwald

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

再工程案例的挑战在于从 Java 程序的抽象语法图中提取状态机模型。提取出的状态机提供了对完整程序图的简化视图，从而有助于针对所关注的问题理解程序。我们采用通用图重写系统 GrGen.NET (www.grgen.net) 来处理该任务。

关键词

GrGen.NET TTC 2011 再工程图重写系统状态机提取

引用

@article{arxiv.1111.4751,
  title  = {Solving the TTC 2011 Reengineering Case with GrGen.NET},
  author = {Edgar Jakumeit and Sebastian Buchwald},
  journal= {arXiv preprint arXiv:1111.4751},
  year   = {2011}
}

备注

In Proceedings TTC 2011, arXiv:1111.4407