Main menu:


13 - 15 Mai 2015
Hammamet, Tunisie

Programme


Version Préliminaire

14 mai 2015

8:00-8:30

Enregistrement

8:30-9:00

Ouverture

9:00-10:00

Conférence invitée (Peter Pepper)

10:00-10:30

Pause café

10:30-10:50

Sonia Loulou and Hounaïda MoallaGestion de la surveillance des examens dans le cadre d’une approche qualité: Etude et Optimisation

10:50-11:10

Hamida Bouaziz, Samir Chouali, Ahmed Hammad and Hassan MountassirExploitation de la Hiérarchie pour la Vérification de la Compatibilité entre les Blocs SysML

11:10-11:30

Manel Tekaya, Mohamed Taha Bennani, Mohamed Abidi Alagui and Samir Ben AhmedGénération orientée aspect des cas de test à partir des modèles Matlab/Simulink

11:30-11:50

Marwa Ayadi, Faîçal Felhi and Jalel AkaichiApplying Geo-Context Model to Real-time Archaeological Systems based on Self-Adaptive Service-Oriented Architecture

11:50-12:20

Naima HalouaniConception, modélisation et réalisation d’une application médicale, expérience du logiciel "GynéSoft"

12:30-14:00

Déjeuner

14:00-14:20

Kamel Boukhelfa and Faiza BelalaTowards a Formalization of Real Time Design Patterns: From UML-MARTE Profile To MAUDE Specification

14:20-14:40

Paul Y Gloess, Mohamed Mosbah and Pierre Castéran. Toward a Mechanically Proven Formal Model of Google Drive

14:40-15:00

Khalil Elbaz and Allaoua ChaouiImpact Evaluation of Design Patterns on Quality attributes

15:00-15:20

Houda Tadjer and Djamel MeslatiAn Approach for the Separation of concerns in agile development

20:00

Dîner Gala

 

15 mai 2015

8:30-9:00

Enregistrement

9:00-10:00

Conférence invitée (Ernesto Exposito)

10:00-10:30

Pause café

10:30-11:00

Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony and Ahmed Hadj KacemTraduction de spécifications de contraintes d’architecture en composants exécutables

11:00-11:30

Majda Elhozmari and Ahmed Ettalbi. Using a software architecture based on a Private Central Proxy Cloud to improve a Healt Center System

11:30-12:00

Marwa Hachicha, Riadh Ben Halima and Ahmed Hadj KacemA Formal modeling and verification of self-adaptive WSN deployed in a marine environment

12:00-12:30

Imen Abdennadher and Mohamed JmaielQuelle décision pour l'adaptation des architectures logicielles?

12:30-14:00

Déjeuner