08:40
08:40 - 10:30 - Room MR.06 Parallel Session 5 - Transformations and Applications
  • 52: Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification Bertrand Boisvert, Louis Féraud and Sergei Soloviev
  • 9: Modelling and Enterprises - The Past, the Present and the Future Vinay Kulkarni, Suman Roychoudhury, Sagar Sunkle, Tony Clark and Balbir Barn
  • 11: Towards a Meta-model of the Cloud Computing Resource Landscape Kleopatra Chatziprimou, Kevin Lano and Steffen Zschaler
  • 65: Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation Maria Spichkova, Xiuna Zhu and Dongyue Mou
10:30 Coffee-Break (10:30 - 10:45)
10:45
10:45 - 12:35 - Room MR.06 Parallel Session 6 - Verification, Validation and Testing
  • 41: A Meta-model for Tests of Avionics Embedded Systems Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero and Michel Schieber
  • 24: Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad and Fabien Peureux
  • 50: Systematic Development of Control Designs via Formal Refinement Manoranjan Satpathy, Colin Snook, Silky Arora, S. Ramesh and Michael Butler
  • 61: Static Analysis and Testing of Executable DSL Specification Qinan Lai and Andy Carpenter
12:35
12:35 - 13:35 - Room MR.09 Keynote Lecture From Requirements to Code - A Full Model-Driven Development Perspective Oscar Pastor, Universidad Politécnica de Valencia, Spain
13:35
13:35 - 13:50 - Room MR.09 Closing Session
13:50 Lunch (13:50 - 14:50)