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