Thông tin thư mục
Thông tin biên mục
Huỳnh Tấn Khải
- 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 - Đà Nẵng : Đà Nẵng, 2019
191tr. : hình vẽ, bảng ; 21 cm
9786048444952
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.
1.Phần mềm máy tính, Dịch vụ, Trang Web, 2.Phần mềm máy tính, Dịch vụ, Trang Web,
006.78 T450H
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 |