Showing results 146 to 165 of 235
< previous
next >
Issue Date | Title | Author(s) |
15-Apr-2021 | A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems | Elmansouri, Raida ; Meghzili, Said ; Chaoui, Allaoua |
23-Oct-2017 | Un Cadre Sémantique Formel pour la Description, Sélection et Composition des Services Web | DJENOUHAT, Manel Amel |
5-Jun-2016 | Un nouveau formalisme pour la représentation et le raisonnement sur une ontologie hybride | Bouaicha, Souad |
Jul-2020 | Une approche à base d'agents pour l'extraction des informations pertinentes dans un environnement Big Data | Elaggoune, Zakarya |
14-May-2018 | Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL | Mohamed Elkamel, Hamdane |
14-May-2015 | Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissage | Chaouche, Ahmed-Chawki |
4-Nov-2017 | Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi | Messaoudi, Nabil |
24-Oct-2018 | The University Teachers’ Attitude Towards Grey Literature: A Survey Led at the University Constantine 2 | Bouderbane, Azzedine ; Gamouh, Nadjia ; Benkaid Kesba,Teboura |
31-May-2011 | Using Context to Improve the Evaluation of Information Retrieval Systems | Bouramoul, Abdelkrim ; Mohamed-Khireddine Kholladi ; Bich-Liên Doan |
Mar-2020 | Using Query Expansion Techniques and Content-Based Filtering for Personalizing Analysis in Big Data | Menaceur, Sadek ; Derdour, Makhlouf ; Bouramoul, Abdelkrim |
3-Apr-2014 | Verifying Cloud Systems using a Bigraphical Maude-based Model Checker | Benzadri, Zakaria ; Belala, Faiza ; Bouanaka, Chafia |
1-Apr-2017 | Vers une approche pour la prise en compte de l’usager dans l’analyse OLAP | Bouramoul, Abdelkrim ; Menaceur, Sadek ; Derdour, Makhlouf |
22-Oct-2017 | Vérification de la composition de services par la transformation de modèles | Nouara, Redouane |
25-Oct-2005 | Viewpoints: a framework for object oriented database modelling and distribution | Benchicka, Fouzia ; Boufaida, Mahmoud ; Seinturier, Lionel |
8-Apr-2013 | Web Services Modeling and Composition Approach using Object-Oriented Petri Nets | Chemaa, Sofiane ; Elmansouri, Raida ; Chaoui, Allaoua |
1-Dec-2012 | WS-mcv: An Efficient Model Driven Methodology for Web Services Composition | Bachtarzi, Fayçal ; Chaoui, Allaoua ; Kerkouche, Elhillali |
26-Apr-2018 | استخدام الرسائل والأطروحات الإلكترونية من طرف طلبة ما قبل التدرج لأغراض البحث: دراسة استطلاعية بمعهد علم المكتبات والتوثيق بجامعة قسنطينة 2 - الجزائر | Boumarafi, Behdja ; Mettai, Khaled |
1-Jun-2017 | استخدام مصادر المعلومات الإلكتر ونية من طرف طلبة الدراسات العليا دراسة تحليلية لرسائل الدكتوراه بمعهد علم المكتبات والتوثيق بجامعة عبد الحميد مهري – قسنطينة 2 | Boughambouz, Salima ; Aknouche, Nabil |
30-Jun-2019 | استراتيجية تطوير مصالح الأرشيف : دراسة ميدانية بمصلحة أرشيف جامعة الأخوة منتوري بقسنطينة | Madaci, Hacene ; Fardi, Lakhdar |
1-Jun-2015 | الإتاحة الحرة للمعلومات نموذج العموميات الخلاقة في قطاع المكتبات والمعلومات | Bouanaka, Souad |