![]() | 逆向活动图、调用图、顺序图:FreeRTOS Demo | |
视频主要介绍基于EA的插件-代码工程师,对FreeRTOS Demo的程序进行逆向,逆向活动图、调用图、顺序图。 浏览 66 次, ![]() |
![]() | 模型检查器-图检查(顺序图、状态图、活动图) | |
模型检查器是基于EA的开发的插件,可以帮助用户检查模型质量,本视频主要介绍图检查中顺序图、活动图和状态图的检查。 浏览 149 次, ![]() |
![]() | 模型检查器-图检查( Model Checker) | |
模型检查器 是 火龙果开发的EA插件,可以帮助用户检查模型质量,本视频介绍的是图检查的功能。 浏览 90 次, ![]() |
![]() | 接口分析( Model Checker) | |
视频主要介绍 基于EA的模型检查器插件进行接口分析。 浏览 300 次, ![]() |
![]() | 元素检查( Model Checker) | |
视频主要介绍 基于EA的插件模型检查器中的元素检查。 浏览 475 次, ![]() |
![]() | 模型检查器功能简介 | |
视频主要介绍 基于EA的插件模型检查器功能简介。 浏览 335 次, ![]() |
![]() | 图生成文档 | |
视频主要介绍 基于EA的文档生成器插件,图生成文档。 浏览 314 次, ![]() |
![]() | 文档导入模型 | |
视频主要介绍 基于EA的文档生成器插件,文档导入模型。 浏览 299 次, ![]() |
![]() | 模型列表生成文档 | |
视频主要介绍 基于EA的插件文档生成器,模型列表生成文档。 浏览 226 次, ![]() |
![]() | 生成文档(基于模型) | |
视频主要介绍EA的插件文档生成器。 浏览 224 次, ![]() |