Conference Programme

---

	Monday 12/9 Registration: 08:00-13:00 & 14:30-17:30	Tuesday 13/9 Registration: 08:30-13:00 & 14:30-17:30	Wednesday 14/9 Registration: 08:30-13:00 & 14:30-16:00
09:00 - 09: 30	Opening- General Chair : Hamido Fujita Organizing Chair: George A. Papadopoulos	Intelligent Software Development and Social Networking - 1 Session Chair: Dorealda Dalipaj	Requirement Engineering - 2 Session Chair: Karima Moumane
09:30 - 10: 30	Keynote by the Honorary Chair Prof. Imre Rudas; "Internet of Anything: a Superhighway of Cyberworld"
10:30 - 11:00	Coffee Break
11:00 - 13:00	Software Engineering Models, and Formal Techniques for Software Representation - 1 Session Chair: Imre J. Rudas	Software Methods and Application for Biomedicine and Bioinformatics Session Chair: Sergei Gorlatch	Software Methodologies and Tools for Robust, Reliable, Non-Fragile Software Design Session Chair: Giovanni Mazzeo
13:00 - 14: 30	Lunch Break - (Not included in the Registration fees)
14:30 - 15:30	Software Engineering Models, and Formal Techniques for Software Representation - 2 Session Chair: Prathamesh Pattar	Decision Support System Techniques and Methods - 1 Session Chair: Levente Kovác	Decision Support System Techniques and Methods - 2 Session Chair: Christoph Hannebauer
15:30 - 16:00
16:00 - 16: 30	Coffee Break
16:30 - 17:30	Requirement Engineering - 1 Session Chair: Duc-Hanh Dang	Intelligent Software Development and Social Networking - 2 Session Chair: Stefan Schürz
17:30 - 18:00
18:00		Conference Dinner at Local Tavern

Sessions

Software Engineering Models, and Formal Techniques for Software Representation – 1
(Session Chair: Imre J. Rudas)
Monday 12th September, 11:00-13:00

• Source Data and Bathymetry Editor in Tsunami Modeling Environment
  Kensaku Hayashi, Alexander Vazhenin, Andrey Marchuk
• Behavioral Verification of UML2.0/PoSM Components
  Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
• Web Services Orchestration's Monitor as a Web Service
  Imene Hadded, Mahjoub Langar, Riadh Robbana
• Software for Engineering Representations in University Course
  József Gáti, Krisztina Némethy, Anikó Szakál

Software Engineering Models, and Formal Techniques for Software Representation – 2
(Session Chair: Prathamesh Pattar)
Monday 12th September, 14:30-16:00

• On Model Finding with Constraint Patterns
  Duc-Hanh Dang, Anh-Hoang Truong, Van Hung Dang
• A Secure Cloud-Based SCADA Application: The Use Case of a Water Supply Network
  Gianfranco Cerullo, Giovanni Mazzeo, Gaetano Papale, Luigi Sgaglione, Rosario Cristaldi
• An Industrial Survey and Assessment on Free Mobile Testing Tools
  Hareton K. N. Leung, Kim Man Lui

Requirement Engineering – 1
(Session Chair: Duc-Hanh Dang)
Monday 12th September, 16:30-18:00

• Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies
  Haruhiko Kaiya , Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki
• Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Model
  Ruben Heradio, Hector Perez-Morago, David Fernandez-Amoros, Roberto Bean, F. Javier Cabrerizo, Carlos Cerrada, Enrique Herrera-Viedma
• Architectural Considerations for Decision Analysis Software
  Mats Danielson, Love Ekenberg

Intelligent Software Development and Social Networking – 1
(Session Chair: Dorealda Dalipaj)
Tuesday 13th September, 09:00-10:30

• xGame: A Novel Approach for Developing Accessible Mobile Games
  Aly Moanes, Ahmed H. Ibrahim, Abdelrahman Hosny
• Implementation of a Wiki Development Environment
  Christoph Hannebauer, Volker Gruhn
• Entailment Processing for Large RDF Data Sets using GPU
  Chantana Chantrapornchai, Chidchanok Choksuchat, Michael Haidl, Sergei Gorlatch

Software Methods and Application for Biomedicine and Bioinformatics
(Session Chair: Sergei Gorlatch)
Tuesday 13th September, 11:00-13:00

• Length of Stay in Intensive Care Units - A Case Base Evaluation
  Ana Silva, Henrique Vicente, António Abelha, M. Filipe Santos, José Machado, João Neves, José Neves
• P300 spelling and EEG compressed sensed based on a universal megadictionary
  Monica Fira, Victor-Andrei Maiorescu
• Cross-tool Interoperability in Heterogeneous Application Lifecycle Management Systems
  József Klespitz, Miklós Bíró, Levente Kovács
• A Runtime Middleware for Enabling Application Integration and Rapid Re-Engineering
  Marios Komodromos, Christos Mettouris, Achilleas P. Achilleos, George A. Papadopoulos, Martin Deinhofer, Christoph Veigl, Alfred Doppler, Stefan Schurz

Decision Support System Techniques and Methods – 1
(Session Chair: Levente Kovác)
Tuesday 13th September, 14:30-15:30

• A computation algorithm for the configuration of BLE devices using k-Means Method
  Kensuke Onishi
• Towards a Software Product Industry Classification
  Karl Werder, Hua-Ying Wang

Intelligent Software Development and Social Networking – 2
(Session Chair: Stefan Schürz)
Tuesday 13th September, 16:30-17:30

• Runtime Verification and Quality Assessment for Privacy Violations Detection in Social Networking System
  Najwa Abu Bakar, Ali Selamat
• A Deep Learning Approach for Searching Cloud-Hosted Software Projects
  Gajo Petrović, Vladimir Dimitrieski, Hamido Fujita

Requirement Engineering – 2
(Session Chair: Karima Moumane)
Wednesday 14th September, 09:00-10:30

• Requirements Analysis for Privacy Protection and Third Party Awareness using Logging Models
  Haruhiko Kaiya, Nobukazu Yoshioka, Takao Okubo, Hironori Washizaki, Atsuo Hazeyama
• Design and Control of Quad-Copter using GPS and Inertial Sensors for Parcel Delivery
  Prathamesh Pattar, Apurva Naik
• An Empirical Evaluation of Mobile Software Usability using ISO 9126 and QoS DiffServ Model
  Karima Moumane, Ali Idri ,Khalid Nafil

Software Methodologies and Tools for Robust, Reliable, Non-fragile Software Design
(Session Chair: Giovanni Mazzeo)
Wednesday 14th September, 11:00-13:00

• Enhanced Integration Support for Reliability Prediction
  Thanh-Trung Pham, Alexander P. Vazhenin
• Test Automation for Speech-based Applications
  Tobias Griebe, Marc Hesenius, Marc Gesthüsen, Volker Gruhn
• A Development Tool Chain for Reconfigurable WSNs
  Hanen Grichi, Olfa Mosbahi, Mohamed Khalgui
• Software Engineering Artifact in Software Development Process - Linkage Between Issues and Code Review Processes
  Dorealda Dalipaj, Jesus M. Gonzalez-Barahona, Daniel Izquierdo-Cortazar

Decision Support System Techniques and Methods – 2
(Session Chair: Christoph Hannebauer)
Wednesday 14th September, 14:30-16:00

• New Approach to Multidisciplinary Content Driving of Engineering Model System Component Generation
  László Horváth, Imre J. Rudas
• Analysis of Travelers' Intentions using Photo and Check-in Data from Social Network Services
  Jun Sasaki, Shizune Takahashi, Keizo Yamada, Masanori Takagi
• Decision-Making in Automotive Software Development – An Observational Study
  Efi Papatheocharous, Ulrik Franke