Kiểm chứng dịch vụ Web với logic thời gian
Tìm hiểu về lý thuyết kiểm chứng phần mềm nói chung, các phương pháp, công cụ kiểm chứng phần mềm. Khái quát về dịch vụ Web, các thành phần cấu thành nên dịch vụ Web, làm rõ những đặc điểm quan trọng của dịch vụ Web. Nêu lên một số ứng dụng thương mại điện tử....
Saved in:
Main Author: | Đào, Thị Hường |
---|---|
Other Authors: | Trương, Ninh Thuận |
Format: | Theses and Dissertations |
Language: | Vietnamese |
Published: |
ĐHCN
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42284 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
Similar Items
-
Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
by: Phan, Văn Tiến
Published: (2017) -
Kiểm chứng từng phần cho chương trình C
by: Hoàng, Mạnh Khôi, et al.
Published: (2016) -
Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
by: Nguyễn, Văn Hiếu
Published: (2016) -
Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
by: Nguyễn, Thị Loan, et al.
Published: (2016) -
Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh
by: Phạm, Thanh Hải
Published: (2016)