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ử....
محفوظ في:
المؤلف الرئيسي: | Đà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, وآخرون
منشور في: (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, وآخرون
منشور في: (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)