عباد جازا2025-01-0501/01/1997https://direct.ksu.edu.sa/handle/ksu-press/2917تصف هذه الورقة إطاراً عاماً مبنيٍّا على المنطق لبناء برامج متناسقة من عدة وحدات. تمت ترجمتها كل على حدة. الطريقة المقترحة تتصرف كآلية ربط بين المكونات المختلفة وتتعامل مع العديد من العناصر المتعلقة بالوحدات المكونة للبرنامج. هذه العناصر يتم استخلاصها في الواقع من نصوص البرامج. تسمح الطريقة أيضاً بتعدد النسخ والاختيارات الثابتة والديناميكية. كما تسمح الطريقة المقترحة بإظهار أشكال الوحدات المكونة ومتعلقاتها.Journal Article513https://ksupress.ksu.edu.sa/Ar/Lists/JournalAricle/DispForm.aspx?ID=513