الأبحاث في مجال: البرمجيات (Software)
-
إعادة تصميم واجهة المستخدم: دعم تصميم واجهة المستخدم من خلال استرجاع الأمثلة التفاعلية وإعادة استخدامها
UI Remix: Supporting UI Design Through Interactive Example Retrieval and Remixing2026 | المؤلف: | المجلة: Proceedings of the 31st International Conference on Intelligent User Interfaces | المجال: البرمجيات (Software)تقدم هذه القسم نظرة عامة على UI Remix، وهو نظام تفاعلي مصمم لمساعدة المستخدمين في تصميم واجهات المستخدم (UI) على الهواتف المحمولة من خلال نهج مدفوع بالأمثلة. يتكون النظام من ثلاثة مكونات رئيسية: لوحة المحادثة، التي تسمح للمستخدمين بالتعبير عن أهداف تصميمهم والتفاعل مع النظام في ثلاثة أوضاع—الدردشة، البحث، والتطبيق؛ معرض الأمثلة، الذي يعرض أمثلة…
-
U-Turn: تعزيز تحليل الخطأ من خلال عكس الاتجاه
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction2026 | المؤلف: Flavio Ascari وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: البرمجيات (Software)في هذا القسم، يناقش المؤلفون دمج منطق عدم الصحة لـ O’Hearn (IL) مع منطق عدم الصحة الكافي (SIL) لتعزيز تحليل البرامج الثابتة لاكتشاف الأخطاء. يهدف هذا النهج المدمج إلى تحسين دقة وفعالية تحديد حالات الأخطاء القابلة للوصول وأسبابها المحتملة. يقترح المؤلفون نظام إثبات جديد يسمى U-Turn، والذي يسمح بإعادة استخدام الخيارات الاستدلالية من IL لتوجيه…
-
دلالة تشغيلية لـ OCL الموسعة
An Operational Semantics for Extended OCL2026 | المؤلف: Kevin Lano | المجلة: Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering | المجال: البرمجيات (Software)تلعب لغة قيود الكائنات (OCL) دورًا محوريًا في الهندسة المدفوعة بالنماذج (MDE) من خلال تعزيز الدقة والغنى الدلالي لنماذج البرمجيات، لا سيما في مخططات الفئات ولغات تحويل النماذج. تناقش هذه الورقة توسيع OCL بما يتجاوز معيارها الرسمي (الإصدار 2.4) لتضمين أنواع وعناصر لغوية إضافية، بما في ذلك العبارات الإجرائية. يقترح المؤلفون دلالة تشغيلية تستوعب أنواع…
-
توليد تصاميم فيريلوج من الأسفل إلى الأعلى لاختبار أدوات EDA
Bottom-Up Generation of Verilog Designs for Testing EDA Tools2026 | المؤلف: João Vieira وآخرون | المجلة: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | المجال: البرمجيات (Software)تتناول الورقة تطوير ChiGen، أداة مصممة لتوليد تصميمات Verilog واقعية لمعالجة قيود مجموعات المعايير الحالية في لغات وصف الأجهزة (HDLs). يستخدم ChiGen منهجية “من الأسفل إلى الأعلى” في الفحص، والتي تبني مواصفات Verilog من خلال إنشاء هيكل نحوي واستنتاج الأسماء والأنواع من خلال القواعد النحوية الاحتمالية، واستنتاج النوع Hindley-Milner، وتحليل تدفق البيانات لحقن الشيفرة. تم…