TY  - BOOK
AU  - Trương,Anh Hoàng
AU  - Trương,Thị Thuận
AU  - Nguyễn,Việt Hà
AU  - Trịnh,Thanh Bình
AU  - Đặng,Văn Hưng
AU  - Nguyễn,Thị Thu Trang
TI  - Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh: Đề tài NCKH. QC. 09 06 
U1  - 005.2 14
PY  - 2009///
CY  - H.
PB  - ĐHQGHN
KW  - Lập trình
KW  - Java
KW  - Lập trình hướng khía cạnh
KW  - Biểu đồ
N2  - Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiê
ER  -