Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801
134 tr.
محفوظ في:
المؤلف الرئيسي: | Lê, Chí Luận |
---|---|
التنسيق: | Theses and Dissertations |
منشور في: |
H.: Trường Đại học Công Nghệ
2018
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/61243 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | Vietnam National University, Hanoi |
مواد مشابهة
-
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
بواسطة: Trần, Hoàng Việt
منشور في: (2020) -
Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
بواسطة: Đậu, Quốc Toản
منشور في: (2016) -
Hướng dẫn thực hành phần mềm Eviews
بواسطة: Bùi, Dương Hải
منشور في: (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)