Kiểm thử phần mềm dựa trên đặc tả
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.
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.
Ngày đăng: 13/05/2025
Danh mục:
167
0
0