2015年MoDeVVa
模型驱动工程、验证和确认

目录

• 前言
  
  

• 用CEFSM测试自治系统的主动世界模型 1-10
  安妮莉斯·安德鲁斯、马哈茂德·阿卜杜勒加瓦德、艾哈迈德·加里奥
• 面向约束驱动建模的安全模型转换 11-17
  安德烈亚斯·德穆斯、马库斯·里德尔·埃伦莱特纳、罗伯托·洛佩斯·埃尔雷洪、亚历山大·埃吉德
• 网络物理系统的领域特定模型检查 18-27
  克里斯托弗·格金（Christopher Gerking）、威廉·施费尔（Wilhelm Schäfer）、斯特凡·齐沃克（Stefan Dziwok）、克里斯蒂安·海因泽曼（Christian Heinzemann）
• 面向用户的合金高效分析 28-37
  王晓亮、阿德里安·鲁特、Yngve Lamo
• 融合特色过渡系统中的特征 38-43
  Joanne M.Atley、Sandy Beidu、Uli Fahrenberg、Axel Legay
• 一种自动限制UML/OCL不变子句的方法 44-47
  尼尔斯·普尔齐戈达（Nils Przigoda）、朱迪思·彼得斯（Judith Peters）、马蒂亚斯·苏肯（Mathias Soeken）、罗伯特·威利（Robert Wille）、罗尔夫·德雷克斯勒（Rolf Drechsler）