Thông tin tài liệu

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorNguyễn Việt Hàvi
dc.contributor.authorNguyễn Thị Thu Trangvi
dc.date.accessioned2020-10-29T07:09:28Z-
dc.date.available2020-10-29T07:09:28Z-
dc.date.issued2007-
dc.identifier.other000000223704vi
dc.identifier.urihttp://dlib.hust.edu.vn/handle/HUST/16529-
dc.descriptionLuận văn (Thạc sỹ khoa học) - Ngành Công nghệ thông tinvi
dc.description.abstractGiới thiệu lập trình hướng khía cạnh (Aspect-Oriented Programing). Kiểm chứng mô hình (Model Checking). Sử dụng AOP để kiểm chứng bất biến của chương trình Java. Sử dụng kiểm chứng mô hình để kiểm chứng ứng dụng AOP.vi
dc.language.isovivi
dc.publisherTrường Đại học Bách khoa Hà Nộivi
dc.subjectASPECTvi
dc.subjectMô hình hóavi
dc.subjectKiểm chứngvi
dc.subject.lccQA76vi
dc.titleMô hình hoá và kiểm chứng ASPECTvi
dc.typeThesisvi
Appears in Collections:Ths-Công nghệ thông tin

Files in This Item:
Thumbnail
  • 223704.pdf
      Restricted Access
  • Nội dung
    • Size : 1,26 MB

    • Format : Adobe PDF

  • Thumbnail
  • 223704-TT.pdf
      Restricted Access
  • Tóm tắt
    • Size : 23,93 kB

    • Format : Adobe PDF



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