ICSOFT 2013 - 8th International Joint Conference on Software Technologies

16:30 - 18:30 - Room V105 Parallel Session 1 - Models - ICSOFT-PT

12: Controllability for Nondeterministic Finite Automata with Variables Jasen Markovski
20: From Problems to Laws in Requirements Engineering - Using Model-Transformation Stephan Faßbender and Maritta Heisel
21: An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing Karoly Bosa
13: Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach Arieh Bibliowicz and Dov Dori

16:30 - 18:30 - Room V107 Parallel Session 1 - Software Engineering Methods and Techniques - ICSOFT-EA

7: Cloud Testing for Mobile Software Systems - Concept and Prototyping Oleksii Starov, Sergiy Vilkomir and Vyacheslav Kharchenko
19: A Systematic Literature Review on CMS-based Web Applications Feliu Trias, Valeria De Castro, Marcos López-Sanz and Esperanza Marcos
36: An Architectural Model for Customizing the Business Logic of SaaS Applications André Correia, Jorge Renato Penha and António Miguel Rosado da Cruz
37: Towards a Standard Approach for Optimization in Science and Engineering Carlo Comin, Luka Onesti and Carlos Kavka
57: Dynamic Software Updating with Gosh! - Current Status and the Road Ahead Allan Raundahl Gregersen, Michael Rasmussen and Bo Nørregaard Jørgensen
76: Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson and Fredrik Törner

14:45	14:45 - 15:00 - Room V101 Opening Session
15:00	15:00 - 16:15 - Room V101 Panel Title: "The Future Challenges of Software Engineering and Data Management in Practice- What is the Role of Academia? " Co-chairs: Markus Helfert, Dublin City University, Ireland Marten van Sinderen, University of Twente, Netherlands Panelists: Armin Größlinger, University of Passau, Germany Alexander Smirnov, SPIIRAS, Russian Academy of Sciences, Russian Federation Claes Wohlin, Blekinge Institute of Technology, Sweden
16:15	Coffee-Break (16:15 - 16:30)
16:30	16:30 - 18:30 - Room V105 Parallel Session 1 - Models - ICSOFT-PT 12: Controllability for Nondeterministic Finite Automata with Variables Jasen Markovski 20: From Problems to Laws in Requirements Engineering - Using Model-Transformation Stephan Faßbender and Maritta Heisel 21: An Ambient ASM Model for Client-to-Client Interaction via Cloud Computing Karoly Bosa 13: Creating Domain-Specific Modeling Languages with OPM/D - A Meta-modeling Approach Arieh Bibliowicz and Dov Dori 16:30 - 18:30 - Room V107 Parallel Session 1 - Software Engineering Methods and Techniques - ICSOFT-EA 7: Cloud Testing for Mobile Software Systems - Concept and Prototyping Oleksii Starov, Sergiy Vilkomir and Vyacheslav Kharchenko 19: A Systematic Literature Review on CMS-based Web Applications Feliu Trias, Valeria De Castro, Marcos López-Sanz and Esperanza Marcos 36: An Architectural Model for Customizing the Business Logic of SaaS Applications André Correia, Jorge Renato Penha and António Miguel Rosado da Cruz 37: Towards a Standard Approach for Optimization in Science and Engineering Carlo Comin, Luka Onesti and Carlos Kavka 57: Dynamic Software Updating with Gosh! - Current Status and the Road Ahead Allan Raundahl Gregersen, Michael Rasmussen and Bo Nørregaard Jørgensen 76: Increasing Efficiency of ISO 26262 Verification and Validation by Combining Fault Injection and Mutation Testing with Model based Development Rakesh Rana, Miroslaw Staron, Christian Berger, Jörgen Hansson, Martin Nilsson and Fredrik Törner
18:30	Welcome Drink (18:30 - 19:00)