Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tín
đặc tả và kiểm chứng phần mềm sử dụng cafeobj
nghiên cứu về kiểm chứng phần mềm sử dụng công cụ spin
Báo cáo " Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình " potx
Tích hợp FileNet với IBM Content Manager, Phần 1: Phân tích, thiết kế và mô hình hóa khi sử dụng FileNet Business Process Manager và IBM Content Manager docx
Nghiên cứu, lựa chọn giải pháp và đề xuất mô hình sản xuất, sử dụng năng lượng
Kiểm chứng mô hình aspect-uml bằng alloy
Tìm hiểu mô hình ngôn ngữ sử dụng phương pháp bloom filter