Formalizing UML/OCL structural features with FoCaLiZeMessaoud Abbas، Choukri-Bey Ben-Yelles، Renaud RiobooSoft Computingالمجلّد 24، (6)، الصفحات 4149-41642019مقال وصول مفتوح 8