مناقشة رسالة ماجستير – في كلية علوم الحاسوب والرياضيات  / قسم البرمجيات

نوقشت في كلية علوم الحاسوب والرياضيات / جامعة الموصل، يوم الأربعاء الموافق 23/9/2026، رسالة الماجستير للطالبة: رفل ذياب محمد الذياب والموسومة:(  تصميم أداة للتحقق من توافق مرحلة تنفيذ النظام مع مرحلة التصميم في هندسة البرمجيات  ) بإشراف:أ.م.د. أشرف عبد المنعم عبد المجيد الذنون

 

تناولت الرسالة تصميم وتطوير أداة للتحقق من الاتساق بين مرحلة تصميم النظام ومرحلة تنفيذه في هندسة البرمجيات، من خلال تحليل مخططات UML Class Diagrams والشفرة البرمجية، وتحويلهما إلى تمثيل موحد باستخدام XML، ثم استخراج الخصائص والعناصر ومقارنتها للكشف عن حالات الاتساق وعدم الاتساق بين التصميم والتنفيذ.

وهدفت الرسالة إلى تطوير أداة آلية تسهم في اكتشاف حالات عدم الاتساق بين التصميم والتنفيذ، فضلًا عن ترتيب الحالات التي تحتاج إلى مزيد من الفحص والمراجعة باستخدام تقنيات كشف الشذوذ (Anomaly Detection)، بما يسهم في دعم عمليات التحقق وتحسين كفاءة مراجعة الأنظمة البرمجية.

ارتباط الرسالة بأهداف التنمية المستدامة

تسهم الرسالة في تحقيق عدد من أهداف التنمية المستدامة للأمم المتحدة، وهي:

الهدف 9 – الصناعة والابتكار والهياكل الأساسية (SDG 9):
من خلال تطوير أداة تقنية للتحقق الآلي من الاتساق بين التصميم والتنفيذ في هندسة البرمجيات، ودعم الابتكار في تطوير الأدوات البرمجية.

الهدف 8 – العمل اللائق ونمو الاقتصاد (SDG 8):
من خلال أتمتة عملية التحقق وتقليل الوقت والجهد المطلوبين لفحص الاتساق، بما يسهم في رفع كفاءة عمليات تطوير وصيانة البرمجيات.

الهدف 4 – التعليم الجيد (SDG 4):
من خلال توظيف مفاهيم وتقنيات هندسة البرمجيات والذكاء الاصطناعي في تطوير أداة تطبيقية للتحقق من الأنظمة البرمجية، وتعزيز الجانب التطبيقي والبحثي في هذا المجال.

 

.

تألفت لجنة المناقشة من الذوات:

أ.د. شهباء ابراهيم خليل رئيسا

أ.م.د. محمد عبد الغني طه عضوا

م.د. اخلاص عبد الجبار سلطان عضوا

أ.م.د. اشرف عبد المنعم عبدالمجيد  عضوا ومشرفا