火龙果会员
注册 找回密码

为了提供高质量资源,您可以捐助,支持我们的公益事业。
1元 10元 50元 100元
 验证码,看不清楚?请点击刷新验证码 必填
 









视频登录
注册 找回密码
 






为了大家更好的学习,您可以捐助,支持我们的公益事业。
 









购买工具会员
  找回密码





 









网络课程会员
  找回密码





  求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code  
会员   
要资料
视频:模型检查器-Checker     1650 次浏览     105 次   捐助


俎涛 
火龙果软件工程


视频介绍
视频主要介绍模型检查器-Checker,可以对模型的接口分析、元素、关系、类、用例、图(顺序图、状态图)进行检查。
捐助




其他人还看了
讲座:基于DoDAF的体系实践 & 建模 589 次浏览  
使用OpenModelica的SysML仿真 3168 次浏览  
主线程和子线程的执行控制 618 次浏览  
系统仿真~VCU(使用建模工具iSpace) 534 次浏览  
模型在线分享(WebEA) 253 次浏览  
讲座: 基于模型的软件重构 199 次浏览