Đang tải... (xem toàn văn)
Ngày đăng: 25/03/2015, 10:00
Xem thêm: Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng event -B, Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng event -B, CHƯƠNG 1: TỔNG QUAN VỀ TRIGGER TRONG CƠ SỞ DỮ LIỆU, CHƯƠNG 2: NGÔN NGỮ EVENT – B, 4 Phân rã và kết hợp, CHƯƠNG 3: MÔ HÌNH HÓA VÀ KIỂM CHỨNG HỆ THỐNG TRIGGER BẰNG EVENT – B, CHƯƠNG 4: XÂY DỰNG CÔNG CỤ HỖ TRỢ MÔ HÌNH HÓA HỆ THỐNG TRIGGER BẰNG EVENT – B, TÀI LIỆU THAM KHẢO