Key points are not available for this paper at this time.
آيسكل1 ("بيئة فحص الكود الذكي في بيئة لغة C") هو نظام برمجي متنوع يهدف إلى تعزيز عملية الفحص الرسمي للكود. يقدم المساعدة في عدد من الأنشطة، بما في ذلك التحليل القائم على المعرفة والتعليقات على الكود المصدر، ومناقشة ودعم الكمبيوتر التعاونى وتدوين ملاحظات المفتشين خلال اجتماعات الفحص. تُبلغ هذه الورقة عن تنفيذ آيسكل والقضايا المتعلقة بالبرمجيات الجماعية التي تمت مواجهتها خلال الاختبار؛ وهي موجهة لجمهور مهتم بتنفيذ البرمجيات الجماعية بالإضافة إلى أولئك المعنيين بقابلية الاستخدام لأنظمة البرمجيات للعمل التعاوني المدعوم بالكمبيوتر (CSCW).
درس الإخوة وآخرون (الإثنين) هذا السؤال.