The latter approach is possible only when a formal specification document exists.
Cách tiếp cận thứ hai chỉ có thể khi một tài liệu đặc tả chính thức tồn tại.