سيميفورمال لتقنيات التقييم الرسمي في البرامج التي المتطلبات، التصميم، أو التعليمات البرمجية تبحث بالتفصيل بشخص أو مجموعة خلاف المنشئ للكشف عن أخطاء وانتهاكات لمعايير التنمية، ومشاكل أخرى. هي أعضاء الاستعراض الأقران (يساوي) مصمم أو مبرمج. يتم جمع البيانات خطأ التقليدية أثناء عمليات التفتيش يتم تحليلها في وقت لاحق، ومساعدة عمليات التفتيش في المستقبل. في بعض الأحيان يسمى A استعراض الأقران المعاينة أو التفتيش.