أطار عام مبني على المنطق لتصميم نظم البرامج

تصف هذه الورقة إطاراً عاماً مبنيٍّا على المنطق لبناء برامج متناسقة من عدة وحدات. تمت ترجمتها كل على حدة. الطريقة المقترحة تتصرف كآلية ربط بين المكونات المختلفة وتتعامل مع العديد من العناصر المتعلقة بالوحدات المكونة للبرنامج. هذه العناصر يتم استخلاصها في الواقع من نصوص البرامج. تسمح الطريقة أيضاً بتعدد النسخ والاختيارات الثابتة والديناميكية. كما تسمح الطريقة المقترحة بإظهار أشكال الوحدات المكونة ومتعلقاتها.