机译:SysML模型驱动的方法来验证块兼容性
FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France;
FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France;
FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France;
FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France;
model-driven; SysML; sequence diagram; SD; interface automata; ATL; Acceleo;
机译:制造自动化软件项目的模型驱动工程-基于SysML的方法
机译:基于MDE的扩展SysML活动图安全验证方法
机译:用于验证自适应服务组合的模型驱动方法
机译:使用分层接口自动机对SysML块进行兼容性验证
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:逆行髓内钉固定术以减少全膝关节置换术后假体周围con上股骨骨折:技术说明及指甲与股骨组件的兼容性表
机译:一种适应SYSML块的模型驱动方法