استخلاص كامل من وثيقة النظام القائم، محوَّل إلى متطلبات مستقلة عن التنفيذ بمعايير قبول قابلة للاختبار. 373 بنداً من هذه المتطلبات يصف سلوكاً مختلفاً عن النظام القديم — إما تصحيحاً لعيب، أو احتياجاً لم يكن مغطّى أصلاً.