Formalizing UML/OCL structural features with FoCaLiZe
Messaoud Abbas، Choukri-Bey Ben-Yelles، Renaud Rioboo
المجلّة
Soft Computing
Springer Science+Business Media
منشورات الجامعة في هذه المجلّة(2)
An improved problem aware local search algorithm for the DNA fragment assembly problem
Abdelkamel Ben Ali، Gabriel Luque، Enrique Alba، Kamal Eddine Melkemi