09:30 Welcome Desk & Registration (09:30 - 10:00)
10:00
10:00 - 12:00 - Room Castelo IV Parallel Session 5
  • 19: Enhanced Code Generation from UML Composite State Machines Omar Badreddin, Timothy C. Lethbridge, Andrew Forward, Maged Elaasar, Hamoud Aljamaan and Miguel A. Garzon
  • 37: A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis Lucas Lima, Juliano Iyoda and Augusto Sampaio
  • 42: Validating the Functional Design of Embedded Systems against Stakeholder Intentions Marian Daun, Thorsten Weyer and Klaus Pohl
  • 56: Model-Driven GUI Generation and Navigation for Android BIS Apps Luís Pires da Silva and Fernando Brito e Abreu
  • 66: Survey of Graph Rewriting applied to Model Transformations Francisco de la Parra and Thomas Dean
10:00 - 12:00 - Room Castelo V Parallel Session 5a
  • 47: The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven Development Rodrigo Salvador Monteiro, Roque Elias Assumpção Pinel, Geraldo Zimbrão and Jano Moreira de Souza
  • 80: Short Seminars on MDE Technologies - International Experiences Miłosz Marek and Plechawska-Wojcik Malgorzata
  • 59: A Model-based Tool for Generating Software Process Model Tailoring Transformations Luis Silvestre, María Cecilia Bastarrica and Sergio F. Ochoa
  • 61: A Pattern Language for Use Case Modeling António Miguel Rosado da Cruz
  • 69: On the Support of Multi-perspective Process Models Variability for Smart Environments Aitor Murguzur, Xabier De Carlos, Salvador Trujillo and Goiuria Sagardui
10:00 - 12:00 - Room Castelo VI Special Session on Model-based Analysis and Testing of Embedded Systems - MBAT Session 1
  • 3: Towards a Method for Combined Model-based Testing and Analysis Brian Nielsen
  • 5: Formal Test-Driven Development with Verified Test Cases Bernhard K. Aichernig, Florian Lorber and Stefan Tiran
  • 7: Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment Omar Kacimi, Christian Ellen, Markus Oertel and Daniel Sojka
12:00 Coffee-Break (12:00 - 12:15)
12:15
12:15 - 13:15 - Room Castelo II Keynote Lecture Models in Software Architecture Derivation and Evaluation - Challenges and Opportunities Silvia Abrahão, Universitat Politecnica de Valencia, Spain
13:15 Lunch (13:15 - 15:15)
15:15
15:15 - 17:45 - Room Castelo IV Session 6
  • 14: Pattern-based Mapping of OCL Specifications to JML Contracts Ali Hamie
  • 20: Defining Domain Specific Transformations in Human-Computer Interfaces Development Jean-Sébastien Sottet and Alain Vagner
  • 21: A Novel Approach to Versioning and Merging Model and Code Uniformly Omar Badreddin, Timothy C. Lethbridge and Andrew Forward
  • 25: A Framework for Model Recommenders - Requirements, Architecture and Tool Support Andrej Dyck, Andreas Ganser and Horst Lichter
  • 26: On Designing Recommenders for Graphical Domain Modeling Environments Andrej Dyck, Andreas Ganser and Horst Lichter
  • 52: A New Flexible Method for Advising Metamodel Matching Lamine Lafi, Jamel Feki and Slimane Hammoudi
15:15 - 17:45 - Room Castelo V Special Session on Model-Driven Service Engineering: New Paradigms for Services Development in the Manufacturing Domain - MDSE
  • 1: Information Models and Transformation Principles Applied to Servitization of Manufacturing and Service Systems Design Carlos Agostinho, Hassan Bazoun, Gregory Zacharewicz, Yves Ducq and Hadrien Boye
  • 2: SLMToolBox - A Tool Set for Service Engineering H. Boyé, H. Bazoun and K. Belkhelladi
  • 3: Toward a Unified Intercloud Interoperability Conceptual Model for IaaS Cloud Service Tahereh Nodehi, Sudeep Ghimire and Ricardo Jardim-Gonçalves
  • 4: Modelling Services for Interoperability Negotiation Carlos Coutinho, Adina Cretan and Ricardo Jardim-Gonçalves
15:15 - 17:45 - Room Castelo VI Special Session on Model-based Analysis and Testing of Embedded Systems - MBAT Session 2
  • 2: The ETSI Test Description Language TDL and its Application Andreas Ulrich, Sylvia Jell, Anjelika Votintseva and Andres Kull
  • 4: Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia and Marco Panunzio
  • 6: Combining Test and Proof in MBAT - An Aerospace Case Study Michael Dierkes
17:45 Coffee-Break (17:45 - 18:00)
18:00
18:00 - 19:00 - Room Castelo VIII+IX Keynote Lecture Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL Kim G. Larsen, Aalborg University, Denmark
19:00
19:00 - 19:15 - Room Castelo VIII+IX Closing Session
19:15 Farewell Drink (19:15 - 19:45)