_ Mời bạn đọc đăng ký làm thẻ để được sử dụng tài liệu hoặc liên hệ số điện thoại: 0985803323
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Formalizing and checking web service discovery models using B
Các phương pháp hình thức đã được ứng dụng thành công để kiểm chứng mô hình kiến trúc hướng dịch vụ tại giai đoạn thiết kế. Bài báo này đề xuất một phương pháp hình thức để đặc tả và kiểm chứng sự tương thích giữa các yêu cầu của dịch vụ web so với khả năng đáp ứng của chúng. Mời các bạn tham khảo nội dung bài báo.
12 p thuviendanang 27/12/2017 191 1
Từ khóa: Tạo chí tin học, Điều khiển học, Checking web service discovery models using B, Web service, Mô hình kiến trúc hướng dịch vụ
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập Địa danh - Du lịch Hà Nội
20 12323
29 17742
Bộ sưu tập Chiến thắng Điện Biên Phủ
18 13659
24 16628
Bộ sưu tập tài liệu nấu ăn ngon
18 14541