Báo cáo tài liệu vi phạm
Giới thiệu
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
0
Trang chủ
Luận Văn - Báo Cáo
Thạc sĩ - Tiến sĩ - Cao học
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Kiểm chứng các thành phần Java tương tranh
Đang chuẩn bị liên kết để tải về tài liệu:
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Kiểm chứng các thành phần Java tương tranh
Khánh Hoàng
104
26
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
Phần mềm ngày càng đóng vai trò quan trọng trong xã hội hiện đại. Tỷ trọng giá trị phần mềm trong các hệ thống ngày càng lớn. Tuy nhiên, trong nhiều hệ thống, lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng, không chỉ thiệt hại về mặt kinh tế mà còn có thể làm tổn thất trực tiếp sinh mạng con người. Do đó, nhu cầu nghiên cứu và đề xuất các phương pháp để kiểm chứng phần mềm ngày càng trở lên cần thiết. | Tóm tắt luận văn Thạc sĩ Công nghệ thông tin Kiểm chứng các thành phần Java tương tranh Chương 1 Mở đầu 1.1 Bối cảnh Phần mềm ngày càng đóng vai trò quan trọng trong xã hội hiện đại. Tỷ trọng giá trị phần mềm trong các hệ thống ngày càng lớn. Tuy nhiên trong nhiều hệ thống lỗi của phần mềm gây ra các hậu quả đặc biệt nghiêm trọng không chỉ thiệt hại về mặt kinh tế mà còn có thể làm tổn thất trực tiếp sinh mạng con người. Do đó nhu cầu nghiên cứu và đề xuất các phương pháp để kiểm chứng phần mềm ngày càng trở lên cần thiết. 1.2 Một số nghiên cứu liên quan 1.2.1 Kiểm chứng thiết kế Edmunds đề xuất ngôn ngữ đặc tả trung gian OCB Object-oriented Concurrent-B-OCB để nối liền giữa đặc tả bằng Event-B với sự cài đặt của các chương trình hướng đối tượng tương tranh. Đặc tả OCB sẽ được chuyển tự dộng sang mô hình của Event-B và mã chương trình Java. Các chương trình Java được chuyển đổi sẽ tuân thủ theo đặc tả OCB của nó. Ben Younes và các tác giả khác đề xuất các luật để chuyển đổi từ đặc tả bằng biểu đồ hoạt động Activity Diagram của UML sang đặc tả bằng Event-B. Đóng góp chính của nghiên cứu này là chuyển đổi từ một đặc tả trực quan sang hình thức và chứng minh tự động một mô hình thỏa mãn các thuộc tính của nó. Tuy nhiên việc chuyển đổi chưa được thực hiện tự động hoàn toàn hơn nữa nghiên cứu này mới đưa ra một ví dụ để minh họa khả năng chuyển đổi của nó. 1 Chương 1 Mở đầu 2 Ball đề xuất các mẫu thiết kế để đặc tả sự tương tác giữa các tác tử phần mềm các mẫu thiết kế sau đó được chuyển đổi sang đặc tả bằng Event-B. Tuy nhiên việc chuyển đổi từ mẫu thiết kế sang đặc tả bằng Event-B chưa được tự động. Giao thức tương tác tương tác được đặc tả lại với Event-B dựa vào mẫu thiết kế của nó. 1.2.2 Kiểm chứng mã nguồn J-LO Java Logical Observer là một công cụ kiểm chứng sự tuân thủ của các chương trình Java so với các đặc tả của nó bằng logic thời gian tuyến tính linear temporal logic . J-LO mở rộng trình biên dịch AspectBench để đan các mã aspect được sinh ra vào chương .
TÀI LIỆU LIÊN QUAN
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Dự án cổng thanh toán điện tử cho doanh nghiệp viễn thông
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Hệ thống thủy vân số và ứng dụng thủy vân số trong bảo vệ bản quyền ảnh số
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Xử lý trùng lặp, phân loại, xác định từ khóa quan trọng và sinh tóm tắt cho văn bản trong một hệ thống thu thập tin tức tự động
Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Nghiên cứu và xây dựng hệ thống liên thông văn bản điện tử
Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Nghiên cứu xây dựng quy trình quản lý đầu tư ứng dụng công nghệ thông tin tại Ngân hàng Phát triển Việt Nam
Tóm tắt luận văn Thạc sĩ Công nghệ thông tin: Nhận dạng logo với giải thuật Naive Bayes Nearest Neighbor sử dụng đặc trưng DSIFT
Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Nghiên cứu bài toán an toàn thông tin cho doanh nghiệp vừa và nhỏ
Tóm tắt Luận văn Thạc sĩ Quản lý giáo dục: Quản lý hoạt động ứng dụng công nghệ thông tin và truyền thông trong dạy học tại Trường Trung học phổ thông Sáng Sơn - huyện Sông Lô - tỉnh Vĩnh Phúc
Luận văn Thạc sĩ Công nghệ thông tin: Xử lý trùng lặp, phân loại, xác định từ khóa quan trọng và sinh tóm tắt cho văn bản trong một hệ thống thu thập tin tức tự động
Tóm tắt luận văn Thạc sĩ chuyên ngành Kỹ thuật phần mềm: Nghiên cứu tóm tắt văn bản tự động và ứng dụng
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.