Mô hình hóa trong công nghệ thông tin

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.

Luận án tiến sĩ công nghệ thông tin kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền

Luận án tiến sĩ nghiên cứu phương pháp kiểm thử dựa trên mô hình với tiếp cận mô hình hóa chuyên biệt miền, ứng dụng hiệu quả trong công nghệ phần mềm.