...
机译:OsMoSys方法用于系统的多形式主义建模
Dip. di Informatica e Sistemistica, Universita di Napoli, Napoli, Italy;
Dip. di Ing. dellInformazione, Seconda Universita di Napoli, Napoli, Italy;
Dip. di Ing. dellInformazione, Seconda Universita di Napoli, Napoli, Italy;
Dip. di Informatica, Universita del Piemonte Orientale, Alessandria, Italy;
Multi-formalism modeling; Meta-languages; Object orientation; Compositionality;
机译:基于模型的关键交互系统用户界面的动态分配的多形式主义方法
机译:UML模型验证的一种多形式主义方法
机译:迈向采用模型驱动的工程方法,以使用多种形式主义评估非功能性属性
机译:OsMoSys / DrawNET Xe!语言系统:面向多种形式的面向对象建模的新型基础架构
机译:一种对整个系统建模的可执行和集成方法:将OpEMCSS应用于完整系统系统的基于仿真和基于模型的系统工程。
机译:多形式主义建模与仿真:在心脏建模中的应用
机译:Osmosys系统的多形式主义建模方法