Đặc tả hệ thống mô tả

Chức nĕng và hành vi của hệ thống dựa vào máy tính

Việc thi hành của mỗi thành phần hệ thống được chỉ

Chi tiết giải thuật và cấu trúc hệ thống

Thời gian đòi hỏi cho việc giả lập hệ thống