本题考察的是逆向工程的建模过程与抽象层次重建能力。
在逆向工程中，系统源代码或已有工件经过分析、建模和转换，可以逐步恢复出更高层次的设计信息。特别是通过用户指导的搜索与变换方法，常常能够恢复：
实现级（Implementation level）：即原始代码级别的信息，如函数、类、模块等。
结构级（Structural level）：如系统组件之间的调用关系、模块划分、层次结构等架构信息。
选项A正确，这两个层次是逆向工程中最常被自动或半自动恢复的部分。
选项B错误，领域级和功能级的抽象更高，通常需要强人工干预或业务知识辅助，不是一般方法可以直接导出的。
选项C、D也错误，均包含无法直接通过搜索与变换方法获得的高阶抽象。