12


Thèse de : Doctorat LMD 
Titre : Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité 
Auteur : Bouarroudj Kenza 
Directeurs : Pr. Saidouni Djamel-Eddine 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2014 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Test formel, graph de refus, testeur canonique, sémantique de Maximalité, systèmes stochastiques 
Mots Clés (Ar) : الاختبار المنهجي، بيانات الرفض العشوائي، أنظمة التحولات العشوائية القصوى، خبير موحد. 
Keywords : Formal testing, Refusal testing, canonical tester, Maximility Semantic, stochastic system 
En ligne : Test formel des systèmes temps réel stochastiques basé sur la sémantique de maximalité



Thèse de : Doctorat LMD 
Titre : Une approche de composition des services web basée transformation de graphes 
Auteur : Bachtarzi Fayçal 
Directeurs : Pr. Allaoua Chaoui 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2014 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : services web, orchestration, vérification formelle, réseaux de petri ingénierie dirigée par les modeles, transformation de graphes 
Mots Clés (Ar) :  
Keywords : web services, orchestration, formal, verification, petri nets, model driving engineering, graph transformation 
En ligne : Une approche de composition des services web basée transformation de graphes



Thèse de : Doctorat LMD 
Titre : Des diagrammes UML 2.0 ver les diagrammes orientés aspect a l’aide de transformation de graphes 
Auteur : Mouna Aouag 
Directeurs : Pr. Allaoua Chaoui 
Editeur : Université Constantine2 Abdelhamid Mehri - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : UML2.0, MOA AT OM₃, diagramme de classe, d’activté et de communication, transformation de graphes 
Mots Clés (Ar) : تصميم المظهر الموجه (MOA)، ، تحويل الرسم البياني، الرسوم البيانية أي ام ال (UML2.0: قسم نشاط واتصالات)، قواعد الرسم البياني،ATOM3 
Keywords : UML2.0, MOA AT OM₃, diagram of class, activity and communication, graphs transformation 
En ligne : Des diagrammes UML 2.0 ver les diagrammes orientés aspect a l’aide de transformation de graphes



Thèse de : Doctorat LMD 
Titre : تكوين الارشيفيين بالجامعة الجزائرية بين النظري والواقع تجربة تخصص تقنيات أرشيفية في نظام ل م د بجامعة قسنطينة2 
Auteur : شواو عبد الباسط 
Directeurs : بطوش كمال 
Editeur : قسنطينة - جامعة قسنطينة 2عبد الحميد مهري 
Année de publication : 2014 
Langue de publication : Arabe 
Catégorie : 020 - Bibliotheconomie 
Mots Clés : ) formation d’archivistes, université algérienne, techniques d’archives, système LMD, institut de bibliothéconomie et documentation, université constantine2 
Mots Clés (Ar) : تكوين الأرشيفين الجامعة الجزائرية،تقنيات أرشيفيه نظام ل م د،معهد علم المكتبات والتوثيق جامعة قسنطينة2 
Keywords : Formation archivists- University of Algiers- Archival techniques- L.M.D system. Institute of Library and documentation- University of Constantine 2 
En ligne : تكوين الارشيفيين بالجامعة الجزائرية بين النظري والواقع تجربة تخصص تقنيات أرشيفية في نظام ل م د بجامعة قسنطينة2



Thèse de : Doctorat LMD 
Titre : استرجاع المعلومات العلمية والتقنية في ظل البيئة الرقمية ودوره في دعم الاتصال العلمي بين الباحثين:دراسة ميدانية مع الأساتذة الباحثين بجامعة محمد الصديق بن يحي-جيجل 
Auteur : لحواطي عتيقة 
Directeurs : عبد المالك بن السبتي 
Editeur : قسنطينة - جامعة قسنطينة 2عبد الحميد مهري 
Année de publication : 2014 
Langue de publication : Arabe 
Catégorie : 020 - Bibliotheconomie 
Mots Clés : Information scientifique et technique, environnement numérique, récupération de l’information, communication scientifique, accès libre a l’information, archives ouvertes, enquête, université seddik ben yahia- Jijel 
Mots Clés (Ar) : المعلومات العلمية والتقنية،البيئة الرقمية استرجاع المعلومات،الاتصال العلمي ،الوصول الحر للمعلومات الأرشفة الذاتية،دراسة ميدانية ،جامعة الصديق بن يحي- جيجل 
Keywords : scientific and technical information, digital environment, information retrieval, scientific communication, free access to information, open archives, survey, university med seddik benyahia -jijel 
En ligne : استرجاع المعلومات العلمية والتقنية في ظل البيئة الرقمية ودوره في دعم الاتصال العلمي بين الباحثين:دراسة ميدانية مع الأساتذة الباحثين بجامعة محمد الصديق بن يحي-جيجل



Thèse de : Doctorat LMD 
Titre : مشاريع المكتبات الرقمية بالجامعات الجزائرية بين الجاهزية وآليات التأسيس: دراسة ميدانية بالمكتبات الجامعية قسنطينة 
Auteur : خديجة بوخالفة 
Directeurs : عزالدين بودربان 
Editeur : قسنطينة - جامعة قسنطينة 2عبد الحميد مهري 
Année de publication : 2014 
Langue de publication : Arabe 
Catégorie : 020 - Bibliotheconomie 
Mots Clés : projet de bibliothèque numérique, université algérienne, bibliothèque universitaire, bibliothèques universitaires de Constantine, disposition, Constantine 
Mots Clés (Ar) : مشاريع المكتبات الرقمية،الجامعات الجزائرية،المكتبات الجزائرية،مكتبات جامعات قسنطينة،الجاهزية قسنطينة 
Keywords : digital library projects, Algerian university, Constantine university libraries, disposition, Constantine 
En ligne : مشاريع المكتبات الرقمية بالجامعات الجزائرية بين الجاهزية وآليات التأسيس: دراسة ميدانية بالمكتبات الجامعية قسنطينة



Thèse de : Doctorat LMD 
Titre : اتفاق الشراكة الأوروجزائرية و سوق العمل في الجزائر 
Auteur : رماش هاجر 
Directeurs : أ. د شمام عبد الوهاب - جامعة قسنطينة 2 
Editeur : قسنطينة - جامعة قسنطينة 2 
Année de publication : 2013 
Langue de publication : Arabe 
Catégorie : 330 - Economie 
Mots Clés :  
Mots Clés (Ar) :  
Keywords :  
En ligne : اتفاق الشراكة الأوروجزائرية و سوق العمل في الجزائر



Thèse de : Doctorat LMD 
Titre : الاستقرار المالي النظامي - بناء مؤشر تجميعي للنظام المالي الجزائري للفترة : 2003 م - 2011 م 
Auteur : ذهبي ريمة 
Directeurs : أ.د. عبد النور موساوي - جامعة قسنطينة 2 
Editeur : قسنطينة - جامعة قسنطينة 2 
Année de publication : 2013 
Langue de publication : Arabe 
Catégorie : 330 - Economie 
Mots Clés : stabilité financière, risque systémique, l’approche macro prudentielle, l’indice agrégé 
Mots Clés (Ar) : الاستق ا رر المالي، الخطر النظامي، المقاربة الاحت ا رزية الكلية، المؤشر التجميعي 
Keywords : financial stability, systemic risk, macro-prudential approach, aggregate index 
En ligne : الاستقرار المالي النظامي - بناء مؤشر تجميعي للنظام المالي الجزائري للفترة : 2003 م - 2011 م



Thèse de : Doctorat LMD 
Titre : Test formel des systèmes temps réel - Approche de transformation de graphes 
Auteur : HACHICHI Hiba 
Directeurs : Pr. SAIDOUNI Djamel-Eddine - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Approche formelle de test, Transformation de graphes, DATA*, DATA, Automate des régions, AToM3. 
Mots Clés (Ar) : الاختبار المنهجي،التحويل البياني،بيان المناطق 
Keywords : Formal testing, Graph transformation, DATA*, DATA, Region automata, AToM3. 
En ligne : Test formel des systèmes temps réel - Approche de transformation de graphes



Thèse de : Doctorat LMD 
Titre : Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML 
Auteur : Bouarioua Mouna 
Directeurs : Pr Chaoui Allaoua - Univeristé Constantine2 
Editeur : Université Constantine2 - Constantine 
Année de publication : 2013 
Langue de publication : Francais 
Catégorie : 600 - Informatique 
Mots Clés : Ingénierie Dirigée par les Modèles, Modélisation multi-paradigmes, Méta-modélisation, Transformation de Graphes, Grammaires de Graphes, Méthodes Formelles, Réseaux de Petri, GSPN, Diagrammes de séquence, Diagrammes d’états-transitions 
Mots Clés (Ar) : هندسة البرامج بواسطة النماذج, التصميم المتعدد النماذج, تحويل البينات, قواعد البينات, الطرقالتحليلية, نماذج 
Keywords : Model Driven Engineering, Multi-paradigm Modeling, Meta-modeling, Graph Transformation, Graph Grammar, Formal Methods, Petri Nets, GSPN, Sequence Diagram, Statechart 
En ligne : Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML