Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh
Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆTrịnh Thanh BìnhKIÊM CHỨNG CÁC THÀNH PHẦN JAVA TƯƠNG TRANHLUẬN ÁN TIẾN SỶ CÕNG NGHỆ THÕNG TINHà Nội - Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh 2011Mục lụcLời cam đoaniLời cảm ơnỉiTừ viết tắtviiDanh mục các hìnhvẽviiiDanh mục các bângbienX1Mỡ đầu11.1Bối cánh..................................................... 11.2Một số nghiên cứuliên quan.................................. 31.2.1Kiểm chứng thiết kế.................................... 31.2 Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh .2Kiểm chứng mà nguồn.................................... 41.3Nội dung nghiên cứu.......................................... 51.4Cấu trúc luận án......Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh
....................................... 72Kiến thức cơ sở92.1Kiểm chứng phồn mềm.......................................... 92.1.1Kiểm chứng hình thức.ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆTrịnh Thanh BìnhKIÊM CHỨNG CÁC THÀNH PHẦN JAVA TƯƠNG TRANHLUẬN ÁN TIẾN SỶ CÕNG NGHỆ THÕNG TINHà Nội - Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh 2.1.2Kiểm chứng tại thời điểm thực thi .................... 112.2Một số vấn đề trong chương trình tương tranh................ 112.3Sự tương tranh trong Java................................... 122.3.1Mô hình lưu trữ (JMM-Java Memory Model) ...............132.3.2Ngôn ngữ mô hình hóa cho Java (JML-Java Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh Modeling Lan-guage) ............................................... 142.3.3Công cụ kiểm chứng mà Java (JPF-Java PathFinder) .... 152.4Phương pháp hìnLuận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh
h thức với Event-B .......................... 172.4.1Máy và Ngừ cảnh....................................... 172.4.2Sự kiện............................ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆTrịnh Thanh BìnhKIÊM CHỨNG CÁC THÀNH PHẦN JAVA TƯƠNG TRANHLUẬN ÁN TIẾN SỶ CÕNG NGHỆ THÕNG TINHà Nội - Luận văn thạc sĩ VNU UET kiểm chứng các thành phần java tương tranh ...........20ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHỆTrịnh Thanh BìnhKIÊM CHỨNG CÁC THÀNH PHẦN JAVA TƯƠNG TRANHLUẬN ÁN TIẾN SỶ CÕNG NGHỆ THÕNG TINHà Nội -Gọi ngay
Chat zalo
Facebook