Phần mềm dựa trên thành phần

Một số cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần

Luận án tiến sĩ Đại học Yale về cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần. Tối ưu hóa quy trình, nâng cao độ tin cậy.

Luận văn thạc sĩ vnu uet tối ưu việc sinh giả thiết bằng giải thuật học l cho kiểm chứng từng phần phần mềm dựa trên thành phần

Luận văn thạc sĩ phân tích vnu uet tối ưu việc sinh giả thiết bằng giải thuật học l cho kiểm chứng từng phần phần mềm dựa trên, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải