العدد 1

URI الجديد لهذه الكائناتhttps://ksu.otcloud.co.ke/handle/ksu-press/597

استعراض

تسهيل البحث عن طريق كتابة الرواية الأولى
يظهر الآن 1 - 1 من 1
  • صورة مصغرة
    مقالةوصول حر
    أطار عام مبني على المنطق لتصميم نظم البرامج
    (دار جامعة الملك سعود للنشر, 01/01/1997) عباد جازا
    تصف هذه الورقة إطاراً عاماً مبنيٍّا على المنطق لبناء برامج متناسقة من عدة وحدات. تمت ترجمتها كل على حدة. الطريقة المقترحة تتصرف كآلية ربط بين المكونات المختلفة وتتعامل مع العديد من العناصر المتعلقة بالوحدات المكونة للبرنامج. هذه العناصر يتم استخلاصها في الواقع من نصوص البرامج. تسمح الطريقة أيضاً بتعدد النسخ والاختيارات الثابتة والديناميكية. كما تسمح الطريقة المقترحة بإظهار أشكال الوحدات المكونة ومتعلقاتها.