机译:由模型驱动的过程,用于为正式方法设计工具集
Universita degli Studi di Milano, Italy;
Universita degli Studi di Bergamo, Italy;
Universita degli Studi di Milano, Italy;
Universita degli Studi di Bergamo, Italy;
formal methods; abstract state machines; model-driven engineering;
机译:安全模型驱动工程的正式元素
机译:模型驱动工程与基于校验的正式方法的联盟
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:将形式化方法与模型驱动工程集成
机译:网络物理系统的正式系统工程方法:可验证设计过程
机译:流程再造:规划方法和图片存档及通信系统团队建设的作用
机译:将形式化方法与模型驱动的工程集成