Đảm bảo chất lượng phần mềm

Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả

Luận án tiến sĩ về mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả. Nghiên cứu ứng dụng mạng Petri màu và chuỗi luật ECA để nâng cao độ tin cậy.

Một số cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần

Luận án tiến sĩ Đại học Yale về cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần. Tối ưu hóa quy trình, nâng cao độ tin cậy.