 | 逆向活动图、调用图、顺序图：FreeRTOS Demo | |
| 视频主要介绍基于EA的插件-代码工程师，对FreeRTOS Demo的程序进行逆向，逆向活动图、调用图、顺序图。 浏览 131 次，  7 次 |
 | 模型检查器-图检查（顺序图、状态图、活动图） | |
| 模型检查器是基于EA的开发的插件，可以帮助用户检查模型质量，本视频主要介绍图检查中顺序图、活动图和状态图的检查。 浏览 160 次， 15 次 |
 | 模型检查器-图检查（ Model Checker） | |
| 模型检查器 是 火龙果开发的EA插件，可以帮助用户检查模型质量,本视频介绍的是图检查的功能。 浏览 107 次， 19 次 |
 | 接口分析（ Model Checker） | |
| 视频主要介绍 基于EA的模型检查器插件进行接口分析。 浏览 307 次， 24 次 |
 | 元素检查（ Model Checker） | |
| 视频主要介绍 基于EA的插件模型检查器中的元素检查。 浏览 487 次， 87 次 |
 | 模型检查器功能简介 | |
| 视频主要介绍 基于EA的插件模型检查器功能简介。 浏览 342 次， 36 次 |
 | 图生成文档 | |
| 视频主要介绍 基于EA的文档生成器插件，图生成文档。 浏览 318 次， 44 次 |
 | 文档导入模型 | |
| 视频主要介绍 基于EA的文档生成器插件，文档导入模型。 浏览 305 次， 41 次 |
 | 模型列表生成文档 | |
| 视频主要介绍 基于EA的插件文档生成器，模型列表生成文档。 浏览 229 次， 37 次 |
 | 生成文档（基于模型） | |
| 视频主要介绍EA的插件文档生成器。 浏览 293 次， 32 次 |