机译:用于基于模型的开放式分布式系统规范的工具
Department Informatica y Analisis Numerico, University of Cordoba, Cordoba, Spain;
Department Lenguajes y Ciencias de la Computacion, University of Malaga, Malaga, Spain;
Department Lenguajes y Ciencias de la Computacion, University of Malaga, Malaga, Spain;
RM-ODP; UML4ODP; model-driven engineering; MDE tools;
机译:机床和生产系统的基于模型的系统工程(基于模型的生产工程)
机译:分布式可重新配置B方法,用于基于B的分布式可重新配置控制系统的规范和验证:
机译:使用UML,SysML和MARTE的实时系统的基于模型的需求规范
机译:模拟分布式小型卫星网络:针对分散资源约束系统定制的基于模型的工具
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:ParBiBit:用于现代分布式内存系统上的二进制双群集的并行工具
机译:框架和工具支持,用于系统测试基于模型的规范