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

Productions scientifiques

6 résultats RSS CSV XLSX BibTeX

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

Formalizing and Verifying UML Activity Diagrams

Messaoud Abbas, Mounir Beggas, Ammar Boucherit

Communications in computer and information sciencePages 49-632019Autre Accès fermé 4

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

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

Modeling UML Template Classes with FoCaLiZe

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

Lecture notes in computer sciencePages 87-1022014Autre Accès fermé 8

Development of Critical Systems with UML/OCL and FoCaLiZe

Messaoud Abbas, Fatima Haloua, Ammar Boucherit

Communications in computer and information sciencePages 16-302021Autre Accès fermé 1