Luận văn 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ính

Nghiên cứu những khái niệm vềkiểm tra mô hình, các định nghĩa đa dạng vềkiểm tra mô hình phần mềm, vịtrí của kỹthuật kiểm tra mô hình phần mềm so với các công nghệkhác nhưTesting. Tiếp theo đã phân biệt được các kỹthuật kiểm tra mô hình phần mềm và giới hạn đi sâu vào nghiên cứu một loại kỹthuật khảthi nhất đó là theo kiểu duyệt nhanh

TÀI LIỆU LUẬN VĂN CÙNG DANH MỤC

TIN KHUYẾN MÃI

  • Thư viện tài liệu Phong Phú

    Hỗ trợ download nhiều Website

  • Nạp thẻ & Download nhanh

    Hỗ trợ nạp thẻ qua Momo & Zalo Pay

  • Nhận nhiều khuyến mãi

    Khi đăng ký & nạp thẻ ngay Hôm Nay

NẠP THẺ NGAY