Thông tin tài liệu
| Title: | Mô hình hoá và kiểm chứng ASPECT |
| Authors: | Nguyễn Thị Thu Trang |
| Advisor: | Nguyễn Việt Hà |
| Keywords: | ASPECT; Mô hình hóa; Kiểm chứng |
| Issue Date: | 2007 |
| Publisher: | Trường Đại học Bách khoa Hà Nội |
| Abstract: | 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. |
| Description: | Luận văn (Thạc sỹ khoa học) - Ngành Công nghệ thông tin |
| URI: | http://dlib.hust.edu.vn/handle/HUST/16529 |
| Appears in Collections: | Ths-Công nghệ thông tin |
ABSTRACTS VIEWS
49
VIEWS & DOWNLOAD
1164
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.