(دار جامعة الملك سعود للنشر, 01/01/1996) بافول نافرات
تعطى الورقة مسح ناقد عام للتطورات في مجال مكننة البرمجة بصورة واسعة من التكوين الأوتوماتيكي للبرامج إلى هندسة البرمجيات بمساعدة الحاسوب. كما تحدد الورقة المشاكل الأساسية في مجالات التكوين الأوتوماتيكي للبرامج، الدعم الذكي لتطوير البرامج والهندسة البرمجية بمساعدة الحاسوب. كذلك تقوم الورقة بمسح وتقويم للاتجاهات العامة في المجالات ذات العلاقة، خاصة مجال الذكاء الاصطناعي. من خلال الدراسة، توضح الورقة أن هناك حاجة ماسة للتطوير في مجال نظريات البرمجة كما توصى الورقة بأنه ينبغي الأخذ في الاعتبار أساليب هندسة المعرفة ودورها في تطوير نماذج في المجالات ذات العلاقة.
