Một tài liệu xác định, trong một cách đầy đủ, chính xác, kiểm chứng, các yêu cầu, thiết kế, hành vi, hoặc khác đặc điểm của một hệ thống hay thành phần, và, thường, các thủ tục để xác định liệu các quy định có được hài lòng.