مقالات بوسم «الموثوقية العالية»
قائمة بالمقالات الموسومة بـ «الموثوقية العالية» (5 مقالة)، من الأحدث إلى الأقدم.
-
البرمجة العامّة (Generics) في Ada ── كتابة العقود بالأنواع، وتحقيق إعادة الاستخدام دون تكلفة إضافيّة
شرح شامل للبرمجة العامّة (generic programming) في Ada، من الإجراءات العامّة، والحزم العامّة، والمعطيات الفرعيّة (formal subprograms)، وفئات الأنواع، وحتّى إر...
-
برمجة أنظمة الوقت الفعليّ بلغة Ada ── التطبيق العمليّ للتحكّم في الأولويّة والدوريّة ووقت التنفيذ
نتعلّم الملحق D (أنظمة الوقت الفعليّ) في Ada عبر ثمانية أمثلة برمجيّة تطبيقيّة. نرتِّب تدريجيّاً أولويّة المهامّ، وبروتوكول Ceiling_Locking، والتنفيذ الدوريّ...
-
التزامن الآمن في Ada ── دليل عملي للمهامّ (Tasks) والكائنات المحمية (Protected Objects)
مقال تمهيدي عن التزامن المدمج في لغة Ada عبر المهامّ (tasks) والكائنات المحمية (protected objects). نستعرض الرندفو (entry/accept)، والقبول الانتقائي (selecti...
-
مدخل إلى التحقق الشكلي باستخدام SPARK ── من عقود Ada إلى البرهان الرياضي
مقال تطبيقيّ يقدّم مدخلاً إلى التحقق الشكلي باستخدام SPARK، مجموعة الأداة الفرعيّة للغة Ada. يتناول المقال الانتقال من العقود (Pre/Post) إلى البرهان، وطريقة ...
-
سحر لغة Ada ── لغة تُعبِّر عن التصميم بالأنواع، وتدعم برمجيّات تعمل لعقود
نقدّم سحر لغة Ada. الأنواع القويّة، وقيود المدى، والفصل بين المواصفة والتنفيذ عبر الحزم، والتصميم بالعقد، والمهامّ المدمجة في اللغة، والتحقّق الشكليّ عبر SPA...