... ngữ đặc tả thông dụng: VDM, Z, SAZ, B, … Một số khái niệm bản: Các phương pháp hình thức (formal methods): Trong tin học, thuật ngữ phương pháp hình thức (ngôn ngữ hình thức, đặc tả hình thức, ... Basic, … - Ngôn ngữ hình thức: Là ngôn ngữ với từ vựng, cú pháp, ngữ nghĩa định nghĩa chặt chẽ dựa sở toán học Đặc tả hình thức (formal specification) Đặc tả hình thức đặc tả với tính chất: - ... cấu hình hay qui mô Việc sử dụng phương thức đặc tả ngôn ngữ đặc tả yêu cầu cao người phát triển Ngay việc đặc tả chứng minh hình thức có lỗi xãy Giới hạn công cụ hỗ trợ cho việc đặc tả 5.4...