Phần mềm-Ứng dụng

- Tính chỉ định (Assignment): Phương thức m được chỉ định sử dụng để đạt được trạng tháis’ từ trạng thái s nếu không có phương thức nào khác được dùng để đạt mục đích như vậy.Tính chỉ định có nghĩa là người dùng không có lựa chọn khác để thực hiện một công việc.