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