Luận văn tốt nghiệp - Cao học công nghệ thông tin năm học 2007-2008 tại ĐHBK TP HCM

  1. Tác giả: LTTK CTV26
    Đánh giá: ✪ ✪ ✪ ✪ ✪

    Luận văn tốt nghiệp - Cao học công nghệ thông tin năm học 2007-2008 tại ĐHBK TP HCM

    Software Verification là kỹ thuật xác định xem một phần mềm thỏa mãn các yêu cầu thiết kế. Kỹ thuật này đòi hỏi xác định một phương pháp mô tả các yêu cầu thiết kế và một cơ chế suy diễn để thực hiện quá trình chứng minh.

    [​IMG]

    ✪ ✪ ✪ ✪ ✪



    Link tải tài liệu:

    LINK TẢI TÀI LIỆU