Chỉ một tài liệu (hoặc phương tiện khác) mà định, trong một cách đầy đủ, chính xác và 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 hoặc các thành phần, và thường xuyên, các thủ tục để xác định có hay không các quy định có được hài lòng.