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:
主要作者: | Đào, Thị Hường |
---|---|
其他作者: | Trương, Ninh Thuận |
格式: | Theses and Dissertations |
語言: | Vietnamese |
出版: |
ĐHCN
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/42284 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
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
由: Phan, Văn Tiến
出版: (2017) -
Kiểm chứng từng phần cho chương trình C
由: Hoàng, Mạnh Khôi, et al.
出版: (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
由: Nguyễn, Văn Hiếu
出版: (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
由: Nguyễn, Thị Loan, et al.
出版: (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
由: Phạm, Thanh Hải
出版: (2016)