Thông tin tài liệu
| Nhan đề : | Mô hình hoá và kiểm chứng ASPECT |
| Tác giả : | Nguyễn Thị Thu Trang |
| Người hướng dẫn: | Nguyễn Việt Hà |
| Từ khoá : | ASPECT; Mô hình hóa; Kiểm chứng |
| Năm xuất bản : | 2007 |
| Nhà xuất bản : | Trường Đại học Bách khoa Hà Nội |
| Tóm tắt : | 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. |
| Mô tả: | 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 |
| Trong bộ sưu tập: | Ths-Công nghệ thông tin |
XEM MÔ TẢ
49
XEM & TẢI
1164
Danh sách tệp tin đính kèm:
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.