Kiểm tra phần mềm và chất lượng

Luận án tiến sĩ enhanced unified modeling language model checking for business software applications

Luận án tiến sĩ khám phá việc kiểm tra mô hình ngôn ngữ mô hình hóa thống nhất nâng cao cho ứng dụng phần mềm doanh nghiệp.