09:15 - 10:15 - Room M101 Keynote Lecture The Complexity Crisis François E. Cellier, ETH Zürich, Switzerland
10:15 - 11:15 - Sólin Posters Session 1
  • 17: Design and Operationalization of Patterns - Case of a Training Situation of Personal Assistance for Public in Professional Integration Lahcen Oubahssi, Claudine Piau-Toffolon, Jean-Pierre Clayer and Fatma Kammoun
  • 24: Model Checking of Distributed Component-based Control Systems Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui and Samir Ben Ahemd
  • 29: Linear Software Models - Vector Spaces for Design Pattern Modules Iaakov Exman
  • 30: An Aspect Oriented Framework for Flexible Design Pattern-based Development Mario L. Bernardi, Marta Cimitile and Giuseppe A. Di Lucca
  • 32: Uncertainty Measure of Process Models using Entropy and Petri Nets Martin Ibl
  • 40: A Software Quality Predictive Model Elisabetta Ronchieri and Marco Canaparo
  • 43: Process Lines for AutomaticWorkflow Development Mario L. Bernardi, Marta Cimitile and Fabrizio M. Maggi
  • 55: New Concepts for Knowledge based Cataract Surgery Assistance - A First Clinical Approach K. P. Scherer, C. Rieder, C. Henninger, J. Baumeister and J. Reutelshöfer
  • 58: SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application Vanda Rosa, Isabel Brito and João Paulo Barros
  • 60: Slope based Grid Creation using Interpolation of LIDAR Data Sets Jan Hovad, Jitka Komarkova and Pavel Sedlak
  • 62: An Approach to the Metadata Driven Programming in .Net Framework Pavel Abduramanov, Sergey Kalistratov and Yuri Okulovsky
  • 64: Component-based Parallel Programming for Peta-scale Particle Simulations Cao Xiaolin, Mo Zeyao and Zhang Aiqing
  • 69: Software Ecosystems Risks Ekananta Manalif, Luiz Fernando Capretz and Danny Ho
  • 71: The Application of VLE with 3D Google Earth and Interactive Technology Wei-Kai Liou and Chun-Yen Chung
  • 72: Distributed Processing of Elevation Data by Means of Apache Hadoop in a Small Cluster Jitka Komarkova, Jakub Spidlen, Devanjan Bhattacharya and Oldrich Horak
  • 77: A Layered Architecture based on Previsional Mechanisms Francesco Fiamberti, Daniela Micucci, Marco Mobilio and Francesco Tisato
  • 78: Managing Risk in Open Source Software Adoption Xavier Franch, Angelo Susi, Maria C. Annosi, Claudia Ayala, Ruediger Glott, Daniel Gross, Ron Kenett, Fabio Mancinelli, Pop Ramsamy, Cedric Thomas, David Ameller, Stijn Bannier, Nili Bergida, Yehuda Blumenfeld, Olivier Bouzereau, Dolors Costal, Manuel Dominguez, Kirsten Haaland, Lidia Lopez, Mirko Morandini and Alberto Siena
  • 80: Extracting Characteristics of Speaker’s Voice Harmonic Spectrum - Design of Human Voice Feature Extraction Technique Oldrich Horák and Jan Capek
  • 87: A Comparison of Maintainability Metrics of Two A+ Interpreters Péter Gál and Ákos Kiss
10:30 Coffee-Break (10:30 - 10:45)
11:15 - 13:15 - Room V105 Parallel Session 2 - Models - ICSOFT-PT
  • 4: ACME+ for Software Architecture Analysis Imen Derbel, Lamia Labed Jilani and Ali Mili
  • 14: Graph Partitioning Algorithm for Social Network Model Transformation Frameworks Gergely Mezei, László Deák, Krisztián Fekete and Tamás Vajk
  • 19: Model-driven Transformation for Optimizing PSMs - A Case Study of Rule Design for Multi-device GUI Generation David Raneburger, Roman Popp and Hermann Kaindl
  • 22: Specification of Learning Management System-centered Graphical Instructional Design Languages - A DSM Experimentation about the Moodle Platform Esteban Loiseau and Pierre Laforcade
11:15 - 13:15 - Room V107 Parallel Session 2 - Software Engineering Methods and Techniques - ICSOFT-EA
  • 27: MuLSA: Multi-Layered Scenario Analysis for an Advanced Driver Assistance System Takako Nakatani and Keita Sato
  • 65: An Intermediate Language for Compilation to Scripting Languages Paola Giannini and Albert Shaqiri
  • 45: CQE - An Approach to Automatically Estimate the Code Quality using an Objective Metric From an Empirical Study Saima Arif, Miao Wang, Philip Perry and John Murphy
  • 46: ATMOS - A Data Collection and Presentation Toolkit for the Nevada Climate Change Portal Andrew Dittrich, Sergiu Dascalu and Mehmet Hadi Gunes
  • 52: Web Service to JSON-RPC Transformation Christian Samsel, Sevket Gökay, Paul Heiniz and Karl-Heinz Krempels
11:15 - 13:15 - Room V102 Parallel Session 2 - Distributed and Mobile Software Systems & Enterprise Software Technologies - ICSOFT-EA
  • 35: Desired Quality Characteristics in Cloud Application Development Leah Riungu-Kalliosaari, Ossi Taipale and Kari Smolander
  • 47: Spatial Connector - Loosely Binding Contextual Changes and Non-Context-Aware Services Ichiro Satoh
  • 51: Supporting Decision Making in Mobile Software Development - A Fuzzy Cognitive Maps Approach Pantelis-Stylianos Yiasemis and Andreas S. Andreou
  • 53: An Industrial Standard to Assure Dependability in Software Reuse Fevzi Belli
  • 75: Mobile Technologies to Enable Users’ Informed Decisions Xavier Franch, Anna Perini, Hugo H. Pibernat and Norbert Seyff
13:15 Lunch (13:15 - 14:30)
14:30 - 16:30 - Room V110 Tutorial
Scenario-based Requirements Engineering Facilitating Interaction Design

Tutorial Lecturer:
Hermann Kaindl, Vienna University of Technology, ICT, Austria
14:30 - 16:30 - Room V105 Parallel Session 3 - Models, Context and Services - ICSOFT-PT
  • 23: An Adaptive and Flexible Replication Mechanism for Space-based Computing Stefan Craß, Jürgen Hirsch, eva Kühn and Vesna Sesum-Cavic
  • 36: Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures Mert Ozkaya and Christos Kloukinas
  • 37: Quality Improvement in Data Models with SLFD-based OCL Constraints Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero and Ángel Mora
  • 38: Context-aware Recommendation using Fuzzy Formal Concept Analysis Jose Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora and Antonio Guevara
  • 39: Context Based Content Aggregation for Social Life Networks Maneesh Mathai and Athula Ginige
14:30 - 16:30 - Room V107 Parallel Session 3 - Software Project Management - ICSOFT-EA
  • 4: Scheduling Strategies for Risk Mitigation Peng Zhou and Hareton K. N. Leung
  • 14: An EDF-based Scheduling Algorithm for Real-time Reconfigurable Sporadic Tasks Hamza Gharsellaoui, Mohamed Khalgui and Samir Ben Ahmed
  • 21: Using Expert-based Bayesian Networks as Decision Support Systems to Improve Project Management of Healthcare Software Projects Emilia Mendes
  • 20: Multi-method Software Estimation Utilizing Judgment and Model based Methods Aldo Dagnino
  • 56: Improving Quality in Agile Development Processes Pryscilla Marcilli Dóra, Ana Cristina Oliveira and J. Antão B. Moura
16:30 Coffee-Break (16:30 - 16:45)
16:45 - 17:45 - Room M101 Keynote Lecture The DAO of Parallel Software Construction Armin Größlinger, University of Passau, Germany
18:30 Social Event (18:30 - 23:30)