... khiển đối thoại - mạng menu - Ký pháp văn phạm - Lưu đồ chuyển trạng thái - Ngôn ngữ sự kiện - Ngôn ngữ mô tả - Ràng buộc - Đặc tả đồ hoạ HUT, Falt. of IT Dept. of SE, August-2 002 HCI – Three. ... của điều khiển đối thoại - Điều kiển trong (vòng lặp đọc-đánh giá) - Điều kiển ngoài, thí dụ như tính độc lập ngữnghĩa của ứng dụng hoặc biểu di n - Điều khiển biểu di n như các đặc tả đồ hoạ ... giá trong PTN - Nơi tiến hành: trong PTN - Dùng trong giai đoạn TK - Người TK thực hiện một số khẳng định không cần/có sự hiện di n của ND. HUT, Falt. of IT Dept. of SE, August-2 002 HCI – Three....