Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
محفوظ في:
المؤلف الرئيسي: | Nguyễn, Xuân Trường |
---|---|
مؤلفون آخرون: | Trương, Ninh Thuận |
اللغة: | Vietnamese |
منشور في: |
Đại học Công nghệ
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/41540 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
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) -
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) -
Kiểm chứng từng phần cho chương trình C
بواسطة: Hoàng, Mạnh Khôi, وآخرون
منشور في: (2016) -
Kiểm chứng dịch vụ Web với logic thời gian
بواسطة: Đào, Thị Hường
منشور في: (2017)