1. Trang chủ
  2. » Luận Văn - Báo Cáo

Kiểm chứng các thành phần Java tương tranh

143 586 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 143
Dung lượng 1,9 MB

Nội dung

Ngày đăng: 25/03/2015, 09:46

Xem thêm

HÌNH ẢNH LIÊN QUAN

Hình 1.1 – Kiểm chứng mức thiết kế và cài đặt chương trình. - Kiểm chứng các thành phần Java tương tranh
Hình 1.1 – Kiểm chứng mức thiết kế và cài đặt chương trình (Trang 16)
Hình 1.2 – Cấu trúc luận án. - Kiểm chứng các thành phần Java tương tranh
Hình 1.2 – Cấu trúc luận án (Trang 18)
Hình 2.2 – Cấu trúc tổng quát của máy và ngữ cảnh. - Kiểm chứng các thành phần Java tương tranh
Hình 2.2 – Cấu trúc tổng quát của máy và ngữ cảnh (Trang 28)
Hình 2.3 – Cấu trúc tổng quát của sự kiện. - Kiểm chứng các thành phần Java tương tranh
Hình 2.3 – Cấu trúc tổng quát của sự kiện (Trang 29)
Hình 2.6 – Biểu đồ tuần tự biểu diễn giao thức rút tiền của hệ thống ATM. - Kiểm chứng các thành phần Java tương tranh
Hình 2.6 – Biểu đồ tuần tự biểu diễn giao thức rút tiền của hệ thống ATM (Trang 32)
Hình 2.7 – Máy trạng thái biểu diễn giao thức tương tác truy cập cơ sở dữ liệu. - Kiểm chứng các thành phần Java tương tranh
Hình 2.7 – Máy trạng thái biểu diễn giao thức tương tác truy cập cơ sở dữ liệu (Trang 33)
Hình 2.8 – Dạng trạng thái của biểu đồ thời gian. - Kiểm chứng các thành phần Java tương tranh
Hình 2.8 – Dạng trạng thái của biểu đồ thời gian (Trang 34)
Hình 2.10 – Biểu đồ thời gian dạng kết hợp. - Kiểm chứng các thành phần Java tương tranh
Hình 2.10 – Biểu đồ thời gian dạng kết hợp (Trang 35)
Hình 2.9 – Dạng giá trị của biểu đồ thời gian. - Kiểm chứng các thành phần Java tương tranh
Hình 2.9 – Dạng giá trị của biểu đồ thời gian (Trang 35)
Hình 3.1 – Kiến trúc tổng quát của đặc tả tương tranh với Event-B. - Kiểm chứng các thành phần Java tương tranh
Hình 3.1 – Kiến trúc tổng quát của đặc tả tương tranh với Event-B (Trang 45)
Hình 3.5 – Máy trừu tượng cho vấn đề cung cấp-tiêu thụ. - Kiểm chứng các thành phần Java tương tranh
Hình 3.5 – Máy trừu tượng cho vấn đề cung cấp-tiêu thụ (Trang 48)
Hình 3.6 – Máy làm mịn thứ nhất cho vấn đề cung cấp-tiêu thụ. - Kiểm chứng các thành phần Java tương tranh
Hình 3.6 – Máy làm mịn thứ nhất cho vấn đề cung cấp-tiêu thụ (Trang 49)
Hình 3.8 – Máy trừu tượng cho vấn đề đọc-ghi. - Kiểm chứng các thành phần Java tương tranh
Hình 3.8 – Máy trừu tượng cho vấn đề đọc-ghi (Trang 51)
Bảng 3.1 – Kết quả chứng minh đặc tả ràng buộc thứ tự giữa các tiến trình tương tranh với RODIN - Kiểm chứng các thành phần Java tương tranh
Bảng 3.1 – Kết quả chứng minh đặc tả ràng buộc thứ tự giữa các tiến trình tương tranh với RODIN (Trang 52)
Hình 3.10 – Đặc tả sự kiện producer trong mô hình khởi tạo và làm mịn. - Kiểm chứng các thành phần Java tương tranh
Hình 3.10 – Đặc tả sự kiện producer trong mô hình khởi tạo và làm mịn (Trang 54)

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

Máy được làm mịn để truy cập vào vùng xung đột Máy trừu tượng cho vấn đề cung cấp-tiêu thụ

Máy trừu tượng cho vấn đề đọc-ghi

Giao thức tuần tự được biểu diễn bằng UML Giao thức song song được biểu diễn bằng UML

Đặc tả phép dịch bit trong UML

Phương pháp kiểm chứng sự đồng thuận tại mức mã nguồn Kiểm chứng mã nguồn hệ thống cung cấp-tiêu thụ với JPF

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w