Đặ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:
主要作者: | 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, et al.
出版: (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)