A requirement-driven method for process mining based on model-driven engineering
Selsabil Ines Bouhidel, Mohammed Mounir Bouhamed, Gregorio Diaz, Nabil Belala
Productions scientifiques
A maintainable and iterative development approach of critical systems with FoCaLiZe
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
PN2Maude: An automatic tool to generate Maude specification for Petri net models
Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan
Development of Critical Systems with UML/OCL and FoCaLiZe
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é
A Comparative Study of Formal Approaches for Web Service Oriented Architecture
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing and Verifying UML Activity Diagrams
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
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é 5
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
Modelling and Implementation of Complex Systems
Salim Chıkhı, Abdelmalek Amine, Allaoua Chaoui, Mohamed Khireddine Kholladi, Djamel Eddine Saïdouni
Modeling UML Template Classes with FoCaLiZe
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo