09:30-10:30 | Session E: Keynote 2[Session chair: Mirjana Ivanovic] |
10:30-11:00 | Coffee break |
|
11:00-12:45 | Session F - Systems & Software Assessments[Session chair: Panos Vassiliadis]The Stability of Threshold Values for Software Metrics in Software Defect Prediction Goran Mausa and Tihana Galinac GrbacBig Data DBMS Assessment: A Systematic Mapping StudyMaria Isabel Ortega, Marcela Genero and Mario PiattiniAssessment of the SEMCO Model-based Repository Approach for Software System EngineeringBrahim HamidSelf-adaptive Architecture for Ensuring QoS Contracts in Cloud-based SystemsEsma Maatougui, Chafia Bouanaka and Nadia Zeghib
| 12:45-14:00 | Lunch |
14:00-15:30 | Session G - Modeling and Formal methods[Session chair: Yamine Ait-Ameur]Contextualization and Dependency in State-based Modelling - Application to Event-B Souad Kherroubi and Dominique MeryFormal modelling of domain constraints in Event-B Linda Mohand-Oussaid and Idir Ait-SadouneUse of Tabular Expressions for Refinement Automation Neeraj Kumar Singh, Mark Lawford, Thomas S. E. Maibaum and Alan Wassyng
|
15:30-16:00 | Coffee break |
16:00-17:30 | Session H - Model-based applications[Session chair: Klaus-Dieter Schewe]Enabling Agile Web Development through In-Browser Code Generation and Evaluation Alejandro Cortiñas, Carlo Bernaschina, Miguel R. Luaces and Piero FraternaliDAGGTAX: A Taxonomy of Data Aggregation Processes Simin Cai, Barbara Gallina, Dag Nyström, and Cristina SeceleanuAutomating the Evolution of Data models for Space missions. A Model-Based ApproachLynda Ait Oubelli, Yamine Ait Ameur, Judicaël Bedouet, Benoit Chausserie-Lapree, and Beatrice Larzul
|
18:00-20:00 | Social Event: Visit to Palau GüellPalau Güell (Barcelona) |
20:30 | Gala dinnerRestaurant Citrus (Barcelona) |