Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems. Read more... Abstract: This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 Collaboration Viewpoint for Modeling Cross-Organizational Business Concerns (Ayalew Kassahun, Bedir Tekinerdogan)....Pages 3-21 A New Approach for Automatic Development of Reconfigurable Real-Time Systems (Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Treves)....Pages 22-44 Testing Web Services with Model-Based Mutation (Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Jüri Vain)....Pages 45-67 Software Product Line Test Suite Reduction with Constraint Optimization (Mats Carlsson, Arnaud Gotlieb, Dusica Marijan)....Pages 68-87 A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice (Bruno Lima, João Pascoal Faria)....Pages 88-107 Model-Based Recovery and Adaptation Connectors: Design and Experimentation (Emad Albassam, Hassan Gomaa, Daniel A. Menascé)....Pages 108-131 Supporting Visual Data Exploration via Interactive Constraints (Wendy Lucas, Taylor Gordon)....Pages 132-152 I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems (Ines Ghribi, Riadh Ben Abdallah, Mohamed Khalgui, Marco Platzner)....Pages 153-174 CRMPSoC: New Solution for Feasible Reconfigurable MPSoC (Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li)....Pages 175-198 Front Matter ....Pages 199-199 Bidirectional Model Transformations Using a Handcrafted Triple Graph Transformation System (Thomas Buchmann, Sandra Greiner)....Pages 201-220 Domain-Specific Modelling Using Mobile Devices (Diego Vaquero-Melchor, Antonio Garmendia, Esther Guerra, Juan de Lara)....Pages 221-238 Applying MDA to Rule and Data Generation for Compliance Checking (Deepali Kholkar, Sagar Sunkle, Vinay Kulkarni)....Pages 239-263 Software System Theory of the Forbidden Within Discrete Design (Iaakov Exman)....Pages 264-283 Enabling Legacy Applications for Multi-tenancy Without Reengineering (Uwe Hohenstein, Preeti Koka)....Pages 284-308 An Incremental Approach to Testing AOP (André Restivo, Ademar Aguiar, Ana Moreira)....Pages 309-331 Facilitating Reuse of Control Software Through Context Modelling Based on the Six-Variable Model (Nelufar Ulfat-Bunyadi, Rene Meis, Maritta Heisel)....Pages 332-358 Back Matter ....Pages 359-359