أطار عام مبني على المنطق لتصميم نظم البرامج
| dc.contributor.author | عباد جازا | ar |
| dc.date.accessioned | 2025-01-05T04:22:36Z | |
| dc.date.issued | 01/01/1997 | ar |
| dc.description.abstract | تصف هذه الورقة إطاراً عاماً مبنيٍّا على المنطق لبناء برامج متناسقة من عدة وحدات. تمت ترجمتها كل على حدة. الطريقة المقترحة تتصرف كآلية ربط بين المكونات المختلفة وتتعامل مع العديد من العناصر المتعلقة بالوحدات المكونة للبرنامج. هذه العناصر يتم استخلاصها في الواقع من نصوص البرامج. تسمح الطريقة أيضاً بتعدد النسخ والاختيارات الثابتة والديناميكية. كما تسمح الطريقة المقترحة بإظهار أشكال الوحدات المكونة ومتعلقاتها. | ar |
| dc.identifier.sourceId | 513 | ar |
| dc.identifier.sourceURL | https://ksupress.ksu.edu.sa/Ar/Lists/JournalAricle/DispForm.aspx?ID=513 | ar |
| dc.identifier.uri | https://ksu.otcloud.co.ke/handle/ksu-press/2917 | |
| dc.provenance | (قدم للنشر في 6/9/1993م ، وقبل للنشر في 9/10/1995م ) | ar |
| dc.publisher | دار جامعة الملك سعود للنشر | ar |
| dc.publisher | King Saud University Press | en |
| dc.relation.issue | العدد 1 | ar |
| dc.relation.issue | Issue 1 | en |
| dc.relation.journal | مجلة علوم الحاسب والمعلومات | ar |
| dc.relation.journal | Computer and Information Sciences | en |
| dc.relation.volume | المجلد 9 | ar |
| dc.relation.volume | Volume 9 | en |
| dc.title | أطار عام مبني على المنطق لتصميم نظم البرامج | ar |
| dc.type | Journal Article | en |
| dspace.entity.type | JournalArticle |
ملفات
الحزمة الرئيسية
1 - 1 من 1