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

• المؤلف الرئيسي: Đào, Thị Hường
• مؤلفون آخرون: Trương, Ninh Thuận
• التنسيق: Theses and Dissertations
• اللغة: Vietnamese
• منشور في: ĐHCN 2017
• الموضوعات: Công nghệ phần mềm; Dịch vụ Web; Kiểm chứng mô hình
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/42284

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