PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Productions scientifiques
A maintainable and iterative development approach of critical systems with FoCaLiZe
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
A Comparative Study of Formal Approaches for Web Service Oriented Architecture
The Waqf’s contribution to supporting formal education in Algeria (Case study of Sheikh Ammi Said Foundation for Free Education in Ghardaia)
Lassoued Ali, Lachraf Larouci
Science Education and Innovations in the Context of Modern ProblemsVolume 8، (8)، Pages 464-4782025Article Accès ouvert
تجليات النقد الشكلاني في الخطاب النقدي النصاني الجزائري بين النظرية والتطبيق Protests of formal criticism in Algerian textual critical discourse Between theory and practice
خلف الله بن علي
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
ترجمة الصورة البيانية عند يوجين نايدا
DAILY RAINFALL-RUNOFF MODELLING BY NEURAL NETWORKS IN SEMI-ARID ZONE: Case of Wadi Ouahrane’s basin
Benzineb K., Remaoun M.
Journal of Fundamental and Applied SciencesVolume 8، (3)، Pages 956-9702016Article Accès ouvertPlusieurs sources
EVALUATION OF FERROCENYLMETHYLNUCLEOBASES DERIVATIVES INTERACTING WITH DNA: INSIGHTS FROM ELECTROCHEMICAL, SPECTROSCOPIC, DFT CALCULATION, MOLECULAR DOCKING AND MOLECULAR DYNAMIC SIMULATIONS
Mohammed Larbi Benamor, Elhafnaoui Lanez, Yahia Bekkar, Aicha Adaika, Touhami Lanez, Kaouther Nesba, Lazhar Bechki
Incorporating humour-based activities in EFL textbooks
Features of contemporary epistemology in Mahmoud Yaqubi’s project – Robert Blanchet as a model
Science Education and Innovations in the Context of Modern ProblemsVolume 8، (6)، Pages 349-3532025Article Accès ouvert
Incidental Teaching and Abstract Concept Formation in Deaf Children: An Analytical Review
Farid Benguesmia, Mohammed Salah Djalab
Science Education and Innovations in the Context of Modern ProblemsVolume 8، (12)، Pages 15-282025Article Accès ouvert
Differentiated Instruction (DI): A Program to Enhance Functional Writing (FW) Skills for English Majors
بثينة سيد محمود
Dual Loop FOPI Controller-Based Equilibrium Optimizer Tuning Approach for Three-Phase Interleaved Boost Converter: PEMFC HEVs
Salah Okba, Ramzi Saadi, Mohamed Yacine Hammoudi, Yassine Himeur, Abir Betka, Shadi Atalla, Wathiq Mansoor
Voltametric and molecular docking investigations of ferrocenylmethylaniline and its N-acetylated derivative interacting with DNA
Asma Yahiaoui, Nabil Benyza, Amel Messai, Touhami Lanez, Elhafnaoui Lanez
رهان الجودة للمدرسة الجزائرية
رضواني, خياري
2020Communication Accès ouvert
Piaget‟s and Vygotsky‟s Constructivist Theories
GHAOUR, Nesrine
2016Communication Accès ouvert
Netlinguistics in the service of Netlish
NESBA, Asma
2016Communication Accès ouvert
BUSINESS ENGLISH BETWEEN PERCEPTIONS AND USE IN ALGERIAN IMPORT/EXPORT COMPANIES
2025Article Accès ouvert