Skip navigation
  • DSpace logo
  • Home
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
  • Explore by
    • Research Outputs
    • Researchers
    • Faculties
    • Projects
  • Sign on to:
    • My DSpace
    • Receive email
      updates
    • Edit Account details

Browsing by Title


Or, select a letter below to start browsing
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 146 to 165 of 235 < previous   next >
Issue DateTitleAuthor(s)
15-Apr-2021A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software SystemsElmansouri, Raida ; Meghzili, Said ; Chaoui, Allaoua 
23-Oct-2017Un Cadre Sémantique Formel pour la Description, Sélection et Composition des Services WebDJENOUHAT, Manel Amel 
5-Jun-2016Un nouveau formalisme pour la représentation et le raisonnement sur une ontologie hybrideBouaicha, Souad 
Jul-2020Une approche à base d'agents pour l'extraction des informations pertinentes dans un environnement Big DataElaggoune, Zakarya 
14-May-2018Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADLMohamed Elkamel, Hamdane 
14-May-2015Une approche multi-agent pour la conception de systèmes d'intelligence ambiante : Un modèle formel intégrant planification et apprentissageChaouche, Ahmed-Chawki 
4-Nov-2017Une 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üchiMessaoudi, Nabil 
24-Oct-2018The University Teachers’ Attitude Towards Grey Literature: A Survey Led at the University Constantine 2Bouderbane, Azzedine ; Gamouh, Nadjia ; Benkaid Kesba,Teboura 
31-May-2011Using Context to Improve the Evaluation of Information Retrieval SystemsBouramoul, Abdelkrim ; Mohamed-Khireddine Kholladi ; Bich-Liên Doan 
Mar-2020Using Query Expansion Techniques and Content-Based Filtering for Personalizing Analysis in Big DataMenaceur, Sadek ; Derdour, Makhlouf ; Bouramoul, Abdelkrim 
3-Apr-2014Verifying Cloud Systems using a Bigraphical Maude-based Model CheckerBenzadri, Zakaria ; Belala, Faiza ; Bouanaka, Chafia 
1-Apr-2017Vers une approche pour la prise en compte de l’usager dans l’analyse OLAPBouramoul, Abdelkrim ; Menaceur, Sadek ; Derdour, Makhlouf 
22-Oct-2017Vérification de la composition de services par la transformation de modèlesNouara, Redouane 
25-Oct-2005Viewpoints: a framework for object oriented database modelling and distributionBenchicka, Fouzia ; Boufaida, Mahmoud ; Seinturier, Lionel 
8-Apr-2013Web Services Modeling and Composition Approach using Object-Oriented Petri NetsChemaa, Sofiane ; Elmansouri, Raida ; Chaoui, Allaoua 
1-Dec-2012WS-mcv: An Efficient Model Driven Methodology for Web Services CompositionBachtarzi, Fayçal ; Chaoui, Allaoua ; Kerkouche, Elhillali 
26-Apr-2018استخدام الرسائل والأطروحات الإلكترونية من طرف طلبة ما قبل التدرج لأغراض البحث: دراسة استطلاعية بمعهد علم المكتبات والتوثيق بجامعة قسنطينة 2 - الجزائرBoumarafi, Behdja ; Mettai, Khaled 
1-Jun-2017استخدام مصادر المعلومات الإلكتر ونية من طرف طلبة الدراسات العليا دراسة تحليلية لرسائل الدكتوراه بمعهد علم المكتبات والتوثيق بجامعة عبد الحميد مهري – قسنطينة 2Boughambouz, Salima ; Aknouche, Nabil 
30-Jun-2019استراتيجية تطوير مصالح الأرشيف : دراسة ميدانية بمصلحة أرشيف جامعة الأخوة منتوري بقسنطينةMadaci, Hacene ; Fardi, Lakhdar 
1-Jun-2015الإتاحة الحرة للمعلومات نموذج العموميات الخلاقة في قطاع المكتبات والمعلوماتBouanaka, Souad 
Showing results 146 to 165 of 235 < previous   next >

Explore by
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
Feedback
Built with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE