الرئيسية - أرشيف الوسم : الرياضيات والبرمجة

أرشيف الوسم : الرياضيات والبرمجة

يمكننا كتابة برمجيات خالية من الأخطاء…إذاً، لماذا لا نقوم بذلك؟

أشار عالم الحاسوب الهولندي الكبير Edsger W Dijkstra أن الاختبار يبين وجود الأخطاء وليس غيابها. في الحقيقة، إن الطريقة الحاسمة الوحيدة لإثبات صحة البرمجيات وخلوها من الأخطاء هي من خلال الرياضيات. لقد كان من المتعارف عليه أنه من الصعب الوصول ...

أكمل القراءة »