الأبحاث في مجال: البرمجيات (Software)
-
OOPS: التوليد الآلي لمواصفات واجهة برمجة التطبيقات REST عبر نماذج اللغة الكبيرة
2026 | المؤلف: Hao Chen وآخرون | المجلة: Journal of Systems and Software | المجال: البرمجيات (Software)في هذا القسم، يقدم المؤلفون OOPS، وهو نهج جديد مستقل عن التكنولوجيا لتوليد مواصفات OpenAPI (OAS) من واجهات برمجة التطبيقات REST باستخدام نماذج اللغة الكبيرة (LLMs). تعتمد الطرق التقليدية لتوليد OAS غالبًا على قواعد محددة بالتكنولوجيا وخبرة بشرية، مما يمكن أن يكون مقيدًا. يتناول OOPS هذه التحديات من خلال استخدام سير عمل تحليل ثابت قائم…
-
“هل يجب أن أستسلم الآن؟” التحقيق في مخاطر LLM في هندسة البرمجيات
2026 | المؤلف: J. Tie وآخرون | المجلة: ACM Transactions on Software Engineering and Methodology | المجال: البرمجيات (Software)تبحث الدراسة في دمج نماذج اللغة الكبيرة (LLMs)، وبشكل خاص ChatGPT، في سير عمل هندسة البرمجيات (SE)، مع تسليط الضوء على التجارب المختلطة لمهندسي البرمجيات. بينما يجد بعض المستخدمين أن LLMs مفيدة للإنتاجية، يذكر آخرون نتائج غير منتجة بسبب عدم دقة الردود. حدد تحليل شمل 26 مشاركًا شاركوا في مهمة تطوير ويب تسعة أنواع فشل…
-
إعادة تصميم واجهة المستخدم: دعم تصميم واجهة المستخدم من خلال استرجاع الأمثلة التفاعلية وإعادة استخدامها
2026 | المؤلف: Junling Wang وآخرون | المجلة: Proceedings of the 31st International Conference on Intelligent User Interfaces | المجال: البرمجيات (Software)تقدم هذه القسم نظرة عامة على UI Remix، وهو نظام تفاعلي مصمم لمساعدة المستخدمين في تصميم واجهات المستخدم (UI) على الهواتف المحمولة من خلال نهج مدفوع بالأمثلة. يتكون النظام من ثلاثة مكونات رئيسية: لوحة المحادثة، التي تسمح للمستخدمين بالتعبير عن أهداف تصميمهم والتفاعل مع النظام في ثلاثة أوضاع—الدردشة، البحث، والتطبيق؛ معرض الأمثلة، الذي يعرض أمثلة…
-
U-Turn: تعزيز تحليل الخطأ من خلال عكس الاتجاه
2026 | المؤلف: Flavio Ascari وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: البرمجيات (Software)في هذا القسم، يناقش المؤلفون دمج منطق عدم الصحة لـ O’Hearn (IL) مع منطق عدم الصحة الكافي (SIL) لتعزيز تحليل البرامج الثابتة لاكتشاف الأخطاء. يهدف هذا النهج المدمج إلى تحسين دقة وفعالية تحديد حالات الأخطاء القابلة للوصول وأسبابها المحتملة. يقترح المؤلفون نظام إثبات جديد يسمى U-Turn، والذي يسمح بإعادة استخدام الخيارات الاستدلالية من IL لتوجيه…
-
إطار موحد جديد للتوليد التلقائي والتحقق متعدد الوسائط من مخططات UML
2026 | المؤلف: Van-Viet Nguyen وآخرون | المجلة: Computer Modeling in Engineering & Sciences | المجال: البرمجيات (Software)تقدم هذه الورقة البحثية إطارًا موحدًا للتوليد الآلي والتحقق والتقييم لرسوم UML باستخدام نماذج اللغة الكبيرة (LLMs). يدمج الهيكل تطوير المتطلبات، وتوليد UML، والتحقق متعدد الوسائط، مستخدمًا LLaMA-3.2-1B-Instruct لتوليد متطلبات تركز على المستخدم وDeepSeek-R1-Distill-Qwen-32B لتحويل هذه المتطلبات إلى كود PlantUML. أنتجت الدراسة مجموعة بيانات صناعية تضم 11,997 رسم UML عبر ست عائلات رئيسية من الرسوم،…
-
توليد تصاميم فيريلوج من الأسفل إلى الأعلى لاختبار أدوات EDA
2026 | المؤلف: João Vieira وآخرون | المجلة: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | المجال: البرمجيات (Software)تتناول الورقة تطوير ChiGen، أداة مصممة لتوليد تصميمات Verilog واقعية لمعالجة قيود مجموعات المعايير الحالية في لغات وصف الأجهزة (HDLs). يستخدم ChiGen منهجية “من الأسفل إلى الأعلى” في الفحص، والتي تبني مواصفات Verilog من خلال إنشاء هيكل نحوي واستنتاج الأسماء والأنواع من خلال القواعد النحوية الاحتمالية، واستنتاج النوع Hindley-Milner، وتحليل تدفق البيانات لحقن الشيفرة. تم…
-
دلالة تشغيلية لـ OCL الموسعة
2026 | المؤلف: Kevin Lano | المجلة: Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering | المجال: البرمجيات (Software)تلعب لغة قيود الكائنات (OCL) دورًا محوريًا في الهندسة المدفوعة بالنماذج (MDE) من خلال تعزيز الدقة والغنى الدلالي لنماذج البرمجيات، لا سيما في مخططات الفئات ولغات تحويل النماذج. تناقش هذه الورقة توسيع OCL بما يتجاوز معيارها الرسمي (الإصدار 2.4) لتضمين أنواع وعناصر لغوية إضافية، بما في ذلك العبارات الإجرائية. يقترح المؤلفون دلالة تشغيلية تستوعب أنواع…
-
الضبط الدقيق وهندسة الطلب لأتمتة مراجعة الشيفرات المعتمدة على نماذج اللغة الكبيرة
2024 | المؤلف: Chanathip Pornprasit وآخرون | المجلة: Information and Software Technology | المجال: البرمجيات (Software)تبحث الدراسة في فعالية نماذج اللغة الكبيرة (LLMs)، وتحديداً GPT-3.5 وMagicoder، في أتمتة عمليات مراجعة الشيفرة من خلال منهجيتين رئيسيتين: التخصيص والتوجيه. يتضمن التخصيص تدريب النموذج على مجموعة بيانات محددة، بينما يوفر التوجيه تعليمات واضحة لتوجيه مخرجات النموذج دون الحاجة إلى مجموعة بيانات مخصصة. تقيم الدراسة 12 نوعاً من نماذج LLMs، مستخدمة تقنيات مثل التعلم…