ICAASE 2018
International Conference on Advanced Aspects of Software Engineering

Table of Contents

• Preface
  
  
• Keynote Speakers
  
  

Session 1: Modern Software Systems Life cycle

• Extension of iStar for Big Data Projects 9-16
  Chabane Djeddi, Nacer Eddine Zarour, Pierre-Jean Charrel
• A System to Manage Multi-domain Software Product Line 17-25
  Yacine Djebar, Mohamed Tahar Kimour

Session 2: Software Repositories

• Cloud Storage and Security Overview 26-33
  Oussama Arki, Abdelhafid Zitouni

Session 3 : Emerging Software Systems

• Domain Model for Cyber-Physical Systems (invited paper) 34-41
  Asma Djouad, Fadila Atil, Abdelhak-Djamel Seriai, Chahrazed Beddiar
• A Migration-based Approach to execute Long-Duration Multi-Cloud Serverless Functions 42-50
  Boubakeur Soltani, Afifa Ghenai, Nadia Zeghib
• MVC-3D : Adaptive Design Pattern for Virtual and Augmented Reality Systems 51-55
  Samir Benbelkacem, Djamel Aouam, Nadia Zenati-Henda, Abdelkader Bellarbi, Ahmed Bouhana, Samir Otmane

Session 4: Software Evaluation

• Comparaison of Ensemble Cost Sensitive Algorithms: Application to Credit Scoring Prediction 56-61
  Meryem Saidi, Mostafa El Habib Daho, Nesma Settouti, Mohammed Amine Bechar
• Internet of Things Agents Diagnosis Architecture : Application to Healtcare IoT System 62-69
  Sofia Kouah, Ilhem Kitouni
• Comparison of Scalar Multiplication Algorithms in a Low Resource Device 70-75
  Mohamed Ramdani, Mohamed Benmohamed, Nadjia Benblidia

Session 5: Formal Methods in Software Engineering

• Using the RTPN Model for the Modeling of Complex Workflow Systems 76-83
  Abdia Hamdani, Abdelkrim Abdelli
• A Quality-driven Approach for Analyzing Elastic Cloud Computing 84-91
  Chafia Bouanaka, Esma Maatougui, Faiza Belala, Nadia Zeghib
• Time Petri Net Model for CL-MAC with Packet Loss Protocol in Wireless Sensor Networks 93-98
  Ahmed Louazani, Larbi Sekhri

Session 6: Practical Aspects of Software Engineering

• A Component-based Modeling of Edge Systems Computing 99-106
  Oussama Nassim Sehout, Mouad Ghiat, Zakaria Benzadri, Faiza Belala
• A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose 107-114
  Aissam Belghiat, Allaoua Chaoui
• MFCCs and Gabor Features for Improving Continuous Arabic Speech Recognition in Mobile Communication Modified 115-121
  Lallouani Bouchakour, Mohamed Debyeche
• An Islamic Application Based on Self-adaptive Components 122-129
  Malak Meghnous, Fadila Atil

Posters Session

• Cloud Edge Computing for Internet of Things Elasticity Management 130-133
  Rayene Moudjari, Zaidi Sahnoun, Allel Hadjali
• An Agent-based Approach for Dynamic Big Data Processing in a Smart City Environment 134-140
  Zakarya Elaggoune, Ramdane Maamri, Imane Boussebough
• Using G-skyline to improve Decision-Making 141-150
  Sana Nadouri, Zaidi Sahnoun, Allel Hadjali