Thế nào là đặc tả hình thức?

Cách đặc tả bằng ngôn ngữ tự nhiên.

Cách đặc tả dựa vào toán học.

Cách đặc tả dùng kí hiệu đồ họa.

Cách đặc tả dùng văn bản và sơ đồ.