Laboratoire des Systèmes Informatiques

Thèses de magisters

Soutenus :

1. W. MEZEGHRANE : « Identification et réutilisation des composants logiciels ». sous la direction du Pr. M. Ahmed-Nacer. Mars 2010.

2. BENSEFIA : « Mise en place d’une architecture d’ IDS ». sous la direction du Pr. M. Ahmed-Nacer. Nov. 2009

3. S. SAIDI : « vérification formelle des propriétés de sécurité dans les logiciels ». USTHB, Avril 2008, sous la direction du Pr. M. Ahmed-Nacer.

4. K. HADJ-BOUAZZA née M’RAOUI : « Approche de modélisation des tests logiciels complexes par un système multi-agent ». INI- Mars 2007, sous la direction du Pr. M. Ahmed-Nacer.

5. N. TAMEGLIT : « Un modèle de composition des services Web sémantiques ». USTHB, Juillet 2007, sous la direction du Pr. M. Ahmed-Nacer.

6. S. BEBBOUCHI : « Approche de conception des codes mobiles ». USTHB, 2007, sous la direction du Pr. M. Ahmed-Nacer.

7. L. MOHAND-OUSSAID : « Vérification formelle des propriétés de sécurité des logiciels », INI. Juin 2006, sous la direction du Pr. M. Ahmed-Nacer.

8. L. BOUNSIS : « XML et intéropérabilité des procédés logiciels ». USTHB - Juin 2006, sous la direction du Pr. M. Ahmed-Nacer.

9. D. BELKACEMI : « Une approche de modélisation de procédés logiciels à base de composants ». Univ. Boumerdès, Novembre 2006, sous la direction du Pr. M. Ahmed-Nacer.

10. G. TOUIL : « Une approche de sélection de méthodologies de développement de logiciels ». Univ. Boumerdès, Novembre 2006, sous la direction du Pr. M. Ahmed-Nacer.

11. M. SELLAMI : « Modèle d’intéropérabilité dans les fédérations de procédés logiciels ». Bejaia Novembre 2005, sous la direction du Pr. M. Ahmed-Nacer.

12. S. BATATA : « Etat global d’une fédération de procédés logiciels ». INI - Mai 2004, sous la direction du Pr. M. Ahmed-Nacer.

13. F. AOUSSAT : « Modélisation et exécution des procédés logiciels à base d’agents intelligents ». USTHB, Juillet 2003, sous la direction du Pr. M. Ahmed-Nacer.

14. A. BERBAR : « Test des systèmes logiciels : Proposition d’une architecture de test pour les systèmes réactifs temps réel ». USTHB, juillet 2003, sous la direction du Pr. M. Ahmed-Nacer

15. S. HADJ-SADOK : « Modèle d’évolution des procédés logiciels ». USTHB, Mai 2003, sous la direction du Pr. M. Ahmed-Nacer

16. R. HADJI : « Optimisation Parallèle et coopérative : Application au problème de recouvrement d’ensembles ». USTHB -Mars 2002, sous la direction du Dr. M. Rahoual

17. L. MOSTEFAI : « Résolution des problèmes d’interopérabilité d’exécution dans les fédérations de composants de procédés logiciels ». USTHB, Mai 2002, sous la direction du Pr. M. Ahmed-Nacer.

18. N. LARDJANE : « Intégration des modèles de procédés logiciels ». USTHB, Novembre 2002, sous la direction du Pr. M. Ahmed-Nacer.

En cours :

1. L. GUEMRAOUI : « Un modèle de description d’architecture pour les procédés logiciels ». sous la direction du Pr. M. Ahmed-Nacer.

2. M. BENTAYEB : « Knowledge Management dans les procédés logiciels », sous la direction du Pr. M. Ahmed-Nacer.

3. S. AIT HACENE : « Architectures logicielles et modélisation des procédés », sous la direction du Pr. M. Ahmed-Nacer