09:30 - 18:45 - Building G Welcome Desk & Registration
10:00 - 11:30 - Room G12 Parallel Session 3 - Software Engineering Methods and Techniques - ICSOFT-EA
  • 49: An Approach for the Semi-automated Derivation of UML Interaction Models from Scenario-based Runtime Tests Thorsten Haendler, Stefan Sobernig and Mark Strembeck
  • 30: New Schedulability Analysis for Real-Time Systems based on MDE and Petri Nets Model at Early Design Stages Mohamed Naija, Samir Ben Ahmed and Jean-Michel Bruel
  • 79: Designing and Describing QVTo Model Transformations Ulyana Tikhonova and Tim Willemse
  • 85: Design of Adaptive Domain-Specific Modeling Languages for Model-Driven Mobile Application Development Xiaoping Jia and Christopher Jones
10:00 - 11:30 - Room G07 Parallel Session 3 - Software Project Management & Software Engineering Methods and Techniques - ICSOFT-EA
  • 19: A Visualization Tool for Scenario-based Software Development Eiji Shiota and Atsushi Ohnishi
  • 57: Establishing Construction Scheduling Progress Curve based on Buidling Information Modeling Quantity Takeoffs Kun-Chi Wang, Wei-Hao Wu, Pei-Yuan Hsu, Abdoul-Aziz Gansonre, Wei-Chih Wang and Cheng-Ju Kung
11:30 - 11:45 - Building K Coffee-Break
11:45 - 13:15 - Room G13 Parallel Session 4 - Aspects, Context & Services - ICSOFT-PT
  • 12: OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution Alberto-Manuel Fernández-Álvarez, Daniel Fernández-Lanvin and Manuel Quintela-Pumares
  • 20: Progress Report on a Proposed Theory for Software Development Diana Kirk and Stephen MacDonell
  • 22: A Service-oriented Architecture for GIS Applications Atif Naseer, Hossam I. Aldoobi and Basem Y. Alkazemi
  • 25: A Model Driven Approach for Improving the Generation of Accessible User Interfaces Lamia Zouhaier, Yousra Bendaly Hlaoui and Leila Jemni Ben Ayed
11:45 - 13:15 - Room G12 Parallel Session 4 - Software Project Management & Software Engineering Methods and Techniques - ICSOFT-EA
  • 12: Multi-dimensional Goal Refinement in Goal-Oriented Requirements Engineering Wataru Inoue, Shinpei Hayashi, Haruhiko Kaiya and Motoshi Saeki
  • 16: Design for Excellence in the Context of Very Large-Scale Requirements Engineering Sanja Aaramaa, Samuli Saukkonen, Jarkko Hyysalo, Jouni Similä, Pasi Kuvaja and Markku Oivo
  • 37: Who Are the Rational Actors in Software Development Projects? Cornelia Gaebert and Jörg Friedrich
11:45 - 13:15 - Room G07 Parallel Session 4 - Enterprise Software Technologies & Software Engineering Methods and Techniques - ICSOFT-EA
  • 41: A Review of Detecting and Correcting Deviations on Software Processes Manel Smatti, Mourad Oussalah and Mohamed Ahmed Nacer
  • 80: Cloud Description Ontology for Service Discovery and Selection Molka Rekik, Khouloud Boukadi and Hanêne Ben-abdallah
  • 90: An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems Bruno Lima and João Pascoal Faria
13:15 - 14:30 - Building RU Lunch
14:30 - 15:45 - Plenary G European Project Space - Panel

"Future Generation of Information and Communication Technologies: Challenges and Perspectives"

EPS Chair:
Sofiane Hamrioui, USTHB University, Algeria; Laboratory of LARI, UMMTO Univesity (Algeria) and GRTC Research Groupe, UHA University, France; E-NGN Groupe (Africa and Middle East)

Panel Participants:
Jean-Jacques Bernardini, Alsace Innovation, France
Anthony C. Boucouvalas, University of Peloponnese, Greece
Ray Walshe, EIURA, Ireland
15:45 - 16:30 - Building K Coffee-Break
15:45 - 16:45 - Building K Posters Session 1
European Project Space - Poster Presentations
  • PERICLES Presenter: Jean-Yves Vion-Dury

  • DataPipe Presenter: Florent Bourgeois
  • 3: Novel Approach for Computing Skyline Services with Fuzzy Consistent Model for QoS- based Service Composition Fatma Rhimi, Saloua Ben Yahia and Ben Ahmed Samir
  • 7: An Approach for Integrating Kerberized non Web-based Services with Web-based Identity Federations Aleksandr Bersenev, Arsen Hayrapetyan, Marcus Hardt and Michael Simon
  • 19: On A-posteriori Integration of Ecore Models and Hand-written Java Code Thomas Buchmann and Felix Schwägerl
  • 21: DBMS for Business Systems Evgeniy Grigoriev
  • 14: Automatic Generation of Test Data for XML Schema-based Testing of Web Services Dessislava Petrova-Antonova, Kunka Kuncheva and Sylvia Ilieva
  • 29: A Path-based Equivalence Checking Method for Petri Net based Models of Programs Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee and Chittaranjan Mandal
  • 52: Analysing the Reliability of Open Source Software Projects Lerina Aversano and Maria Tortorella
  • 53: Modeling Traceability for Heterogeneous Systems Nasser Mustafa and Yvan Labiche
  • 54: Extracting Knowledge for Searching for and Identifying Hazards on Construction Site Ren-Jye Dzeng and Yi-Cho Fang
  • 61: GR-TNCES: New Extensions of R-TNCES for Modelling and Verification of Flexible Systems under Energy and Memory Constraints Oussama Khlifi, Olfa Mosbahi, Mohamed Khalgui and Georg Frey
  • 64: Optimizing Construction Sequences for Secant Pile Walls Rong-Yau Huang, Ping-Fu Chen and Jieh-Haur Chen
  • 71: Analyzing Taiwan Bridge Management System for Decision Making in Bridge Maintenance - A Big Data Approach Nie-Jia Yau and Yu-Han Chuang
  • 75: Critical Success Factors and Barriers for Lightweight Software Process Improvement in Agile Development - A Literature Review Elia Kouzari, Vassilis C. Gerogiannis, Ioannis Stamelos and George Kakarontzas
  • 82: A Framework to Evaluate Software Developer’s Productivity - The VALORTIA Project J. M. Sánchez-Begínes, F. J. Domínguez-Mayo, M. J. Escalona, M. Mejías, N. Sánchez Gómez, J. M. Bolívar, E. Morillo and P. Perejón
  • 84: Understanding Approval Rating of Agile Project Management Tools using Twitter Martina Matta and Michele Marchesi
  • 86: Usability Evaluation Methods for Spatial Information Visualisation - Case Study: Evaluation of Tourist Maps Pavel Sedlák, Jitka Komárková, Miloslav Hub, Stanislav Struška and Miroslav Pásler
  • 87: A Proposal of Web Data Mining Application for Mapping Crime Areas in the Czech Republic Martin Lněnička, Jan Hovad, Jitka Komárková and Miroslav Pásler
16:15 - 17:45 - Room G01 European Project Space - Session - Information and Communication Technologies, Software Engineering and Applications, System Simulation and Databases
  • H2R Project
    Presenter: Vittorio Lippi

  • Enabling Linked Data and Analytics for SMEs by Renovating Public Sector Information
    Presenter: Anastasios Zafeiropoulos

  • A Novel Reconfigurable by Design Highly Distributed Applications Development Paradigm Over Programmable Infrastructure
    Presenter: Anastasios Zafeiropoulos

  • Arrowhead Project
    Presenter: Thibaut Le Guilly
16:45 - 17:45 - Room G07 Parallel Session 1 - DCDATASOFT
  • 4: Provenance and Formal Methods: The Case of Digital Image Processing Carlos Sáenz-Adán
  • 5: Balancing Functionality, Risk, and Cost in Smart Service Networks F. Rizal Batubara
16:45 - 17:45 - Room G13 Parallel Session 5 - Models - ICSOFT-PT
  • 17: Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems Mario L. Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca and Antonella Santone
  • 13: A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams Aissam Belghiat and Allaoua Chaoui
16:45 - 17:45 - Room G14 Parallel Session 5 - Enterprise Software Technologies - ICSOFT-EA
  • 28: Towards Outsource-ability Enabled BPMN Mouna Rekik, Khouloud Boukadi and Hanene Ben-Abdallah
  • 78: Semantic and Structural Performer Clustering in BPMN Models Transformed into Social Network Models Wiem Khlif and Hanêne Ben-abdallah
16:45 - 17:45 - Room G12 Parallel Session 5a - Enterprise Software Technologies - ICSOFT-EA
  • 69: QS Mapper: A Transparent Data Aggregator for the Quantified Self - Freedom from Particularity Using Two-way Mappings Rasmus Rosenqvist Petersen, Adriana Lukas and Uffe Kock Wiil
  • 88: How Trajectory Data Modeling Improves Decision Making? Noura Azaiez and Jalel Akaichi
17:45 - 18:45 - Plenary G Keynote Lecture Cloud Computing - State-of-the-Art and Future Research Trends Eleni Karatza, Aristotle University of Thessaloniki, Greece
19:00 Social Event (19:00 - 23:30)