Đặ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.
Saved in:
Main Author: | Lê, Chí Luận |
---|---|
Format: | Theses and Dissertations |
Published: |
H.: Trường Đại học Công Nghệ
2018
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/61243 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Similar Items
-
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
by: Trần, Hoàng Việt
Published: (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
by: Đậu, Quốc Toản
Published: (2016) -
Hướng dẫn thực hành phần mềm Eviews
by: Bùi, Dương Hải
Published: (2017) -
Kiểm chứng từng phần cho chương trình C
by: Hoàng, Mạnh Khôi, et al.
Published: (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
by: Nguyễn, Văn Hiếu
Published: (2016)