Kiểm chứng dịch vụ Web với logic thời gian

• Main Author: Đào, Thị Hường
• Other Authors: Trương, Ninh Thuận
• Format: Theses and Dissertations
• Language: Vietnamese
• Published: ĐHCN 2017
• Subjects: Công nghệ phần mềm; Dịch vụ Web; Kiểm chứng mô hình
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/42284
• Institution: Vietnam National University, Hanoi

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ử....