enterprise; lifecycle; formal; systems; integration; manufacturing; modelling;
机译:制造企业建模和模型制定的方法和工具
机译:由模型驱动的过程,用于为正式方法设计工具集
机译:融合机电一体化:建模,仿真工具随着传统工程方法的转变而增长
机译:一套使用形式化方法促进逆向工程的工具
机译:支持业务流程再造的软件工程方法,模型和工具。
机译:用于卫生服务管理的建模方法选择工具的开发:从问题构造方法到建模和仿真方法
机译:重用企业模型的可能性和局限性(企业工程工具的新要求)
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分