Thông tin thư mục
Tổ hợp và kiểm chứng dịch vụ web kết hợp khai phá dữ liệu và phương pháp hình thức / Huỳnh Tấn Khải
- Huỳnh Tấn Khải
- Đà Nẵng : Đà Nẵng, 2019
Thông tin chi tiết
Mô tả
191tr. : hình vẽ, bảng ; 21 cm
ISBN
9786048444952
Chỉ số phân loại
006.78
Số định danh
006.78 T450H
Tóm tắt
Trình bày tổng quan về tình hình nghiên cứu và các kiến thức nền tảng, định hướng cho nghiên cứu; khung thức tổng quát cho bài toán tổ hợp các thành phần phần mềm một cách tự động; tổ hợp dịch vụ web dựa trên phương pháp kiểm tra mô hình; kiểm soát bùng nổ không gian trạng thái cho bài toán tổ hợp dịch vụ web; gom cụm dịch vụ web dựa trên lý luận; giới thiệu về công cụ tổ hợp và kiểm chứng tổ hợp dịch vụ web tự động WSCOVER.
Tiêu đề đề mục
Phần mềm máy tính, Dịch vụ, Trang Web,
Dạng tài liệu
Sách, chuyên khảo, tuyển tập
Nơi yêu cầu
50/50 | Thư viện: LibQN--- Kho: NV |
Bản tài liệu sẵn sàng | NV.093871-NV.093920 |