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: 50 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

ĐẶC TẢ VÀ KIỂM CHỨNG PHẦN MỀM SỬ DỤNG CAFEOBJ

Tác giả: Phạm Ngọc Thắng

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

Nội dung tài liệu:

Khóa luận này tập trung nghiên cứu về phương pháp đặc tả và kiểm chứng hình thức cho phần mềm. Cụ thể, bài viết đi sâu vào việc ứng dụng ngôn ngữ CafeOBJ để mô tả và kiểm chứng các hệ thống. Phương pháp này đặc biệt quan trọng đối với các hệ thống yêu cầu độ tin cậy và tính chính xác cao, như trong các ngành công nghệ cao. Bài nghiên cứu đã áp dụng phương pháp này vào việc đặc tả và kiểm chứng một hệ thống lò vi sóng, nhằm cung cấp một cái nhìn thực tế về quy trình và các kết quả đạt được.

Mục lục chi tiết:

  • Chương 1: Giới thiệu
  • Chương 2: Phương pháp hình thức
  • Chương 3: Ngôn ngữ CafeOBJ
  • Chương 4: Khái quát về OTS và bài toán QLOCK
  • Chương 5: Đặc tả và kiểm chứng hệ thống lò vi sóng
  • Chương 6: Kết luận