Luận án Tiến sĩ Khoa học máy tính: 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ĩ Khoa học máy tính "Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả" trình bày các nội dung chính sau: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu phân cấp.