Browse

Author Profile

Browsing by Subject ASPECT

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • 223704.pdf.jpg
  • Thesis

  • Mô hình hoá và kiểm chứng ASPECT

    • Authors : Nguyễn Thị Thu Trang;  Advisor : Nguyễn Việt Hà (2007)

  • Giớ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.