Université Echahid Hamma Lakhdar d’El OuedPortail de la recherche

Productions scientifiques

3 résultats RSS CSV XLSX BibTeX

Trier:Pertinence Plus récent Plus ancien Titre Plus cités

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook

Journal of Systems ArchitectureVolume 114، Pages 1019112020Article Accès ouvert 46

Formalizing UML/OCL structural features with FoCaLiZe

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Soft ComputingVolume 24، (6)، Pages 4149-41642019Article Accès ouvert 8

A maintainable and iterative development approach of critical systems with FoCaLiZe

Fatima Haloua, Messaoud Abbas, Ammar Boucherit, Hessa Alfraihi

STUDIES IN ENGINEERING AND EXACT SCIENCESVolume 5، (1)، Pages 1821-18712024Article Accès ouvert