PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Productions scientifiques
Formalizing and Verifying UML Activity Diagrams
A maintainable and iterative development approach of critical systems with FoCaLiZe
Modelling UML state machines with FoCaLiZe
Choukri Bey Ben Yelles, Renaud Rioboo, Messaoud Abbas
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 6
Modelling UML state machines with FoCaLiZe
Messaoud Abbas, Choukri Bey Ben Yelles, Renaud Rioboo
International Journal of Information and Communication TechnologyVolume 13، (1)، Pages 342018Article Accès fermé 3
Towards a hybrid formal analysis technique for safety-critical software architectures
Laura M. Castro, Osman Hasan, Ammar Boucherit, Abdallah Khababa
International Journal of Critical Computer-Based SystemsVolume 10، (2)، Pages 952021Article Accès fermé
Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua, Messaoud Abbas, Rachid Djerbi, Mohammed Mounir Bouhamed
Pages 1-52024Autre Accès ferméPlusieurs sources 3
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
Ammar Boucherit, Kamel Barkaoui, Mohammed L. Lamouri
Volume 1، Pages 1-62023Autre Accès ferméPlusieurs sources 1
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
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
خلف الله بن علي
Development of Critical Systems with UML/OCL and FoCaLiZe
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing UML/OCL Multiple Inheritance with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Volume 2283، Pages 261-2662018Autre Accès ferméPlusieurs sources 2
ترجمة الصورة البيانية عند يوجين نايدا
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