Thông tin tài liệu

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorHuỳnh Quyết Thắng-
dc.contributor.authorTrần Việt Hưng-
dc.date.accessioned2015-01-15T18:55:33Z-
dc.date.available2015-01-15T18:55:33Z-
dc.date.issued2011-
dc.identifier.other'000000254255-
dc.identifier.urihttp://dlib.hust.edu.vn/handle/HUST/357-
dc.descriptionLuận văn thạc sỹ - Ngành Công nghệ thông tin-
dc.description.abstractTrình bày tổng quan về kiểm thử phần mềm. Kiểm chứng mô hình. Áp dụng Maude checker kiểm chứng mô hình mô phỏng reading practise. Các kết quả và bàn luận.-
dc.language.isovi-
dc.publisherTrường Đại học Bách Khoa Hà Nội-
dc.subjectPhần mềm-
dc.subjectPhần mềm Maude checker-
dc.subject.lccQA76-
dc.titleCác nguyên lý và kỹ thuật kiểm chứng chất lượng phần mềm-
dc.typeThesis-
Appears in Collections:Ths-Công nghệ thông tin

Files in This Item:
Thumbnail
  • 000000254255.pdf
      Restricted Access
    • Size : 1,26 MB

    • Format : Adobe PDF

  • Thumbnail
  • 000000254255-TT.pdf
      Restricted Access
  • (T�m t?t)
    • Size : 182,43 kB

    • Format : Adobe PDF



  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.