Kiểm chứng phần mềm

Luận văn thạc sĩ một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán

Khám phá các phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán trong luận văn thạc sĩ chuyên sâu.

Luận án tiến sĩ công nghệ thông tin đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự

Luận án tiến sĩ công nghệ thông tin nghiên cứu đặc tả và kiểm chứng phần mềm qua biểu đồ tuần tự, nâng cao chất lượng phát triển phần mềm.