强调
学习如何:
- 基于基于模型的设计自动化需求
- 将非正式文本要求转换为明确定义的语义的明确评估
- 跟踪设计和测试的要求
- 在不扰乱设计或生成的代码与新观察块监视内部信号
关于演示者
Paul Urban是一家高级产品营销经理,MathWorks负责验证和验证工具,特别是Simulink要求,Simulink测试和Simulink检查。万博1manbetx他的经验包括对应用基于模型的系统工程设计,嵌入式软件开发和测试的广泛工作。在加入2016年的Mathworks之前,Paul在IBM Watson IoT,Telelogic和I-Logix的产品营销,业务发展,咨询和开发中举行了角色,他在那里基于UML / SYSML与Rhapsody的解决方案。万博 尤文图斯