Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 27 trang
Dung lượng: 725 KB

Giới thiệu nội dung

Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Tác giả: Lê Hồng Anh

Lĩnh vực: Công nghệ thông tin

Nội dung tài liệu: Luận án tiến sĩ trình bày phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện, đặc biệt là các hệ thống có yêu cầu không chính xác. Nghiên cứu tập trung vào việc ứng dụng phương pháp hình thức Event-B để đảm bảo tính đúng đắn và giảm thiểu lỗi trong quá trình phát triển phần mềm. Luận án đề xuất các kỹ thuật kiểm chứng cho các hệ thống cơ sở dữ liệu có trigger và các hệ thống cảm ngữ cảnh.

Mục lục chi tiết:

  • Chương 1: Tổng quan về luận án
  • Chương 2: Kiến thức cơ sở
  • Chương 3: Mô hình hóa và kiểm chứng các hệ thống CSDL
  • Chương 4: Mô hình hóa và kiểm chứng các hệ thống cảm ngữ cảnh
  • Chương 5: Mô hình hóa các hệ thống có yêu cầu không chính xác
  • Chương 6: Kiểm chứng các yêu cầu không chính xác
  • Chương 7: Kết luận và hướng phát triển