依赖图论文

C++程序动态切片系统的研究与实现
论文摘要程序切片技术是一种分析和理解程序的技术,其中面向过程程序切片技术已趋于成熟。但是面向对象程序切片技术,特别是面向对象程序动态切片技术起步较晚,目前仍处于初始阶段。传统的...
形式化本体工程中若干问题的研究
论文摘要本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想...