Một ngôn ngữ đặc điểm kỹ thuật với cấu trúc đặc biệt và, đôi khi, xác minh giao thức, được sử dụng để phát triển, phân tích, và tài liệu yêu cầu phần cứng hoặc phần mềm.