Nghiên cứu kỹ thuật kiểm thử hướng mô hình và đánh giá tính tiện dụng áp dụng vào phát triển phần mềm quản lý lưu trữ và số hóa tài liệu
Luận văn thạc sỹ - Chuyên ngành Công nghệ thông tin
Lưu vào:
Tác giả chính: | Nguyễn Hải Dương |
---|---|
Đồng tác giả: | Huỳnh Quyết Thắng |
Định dạng: | Luận án |
Ngôn ngữ: | Vietnamese |
Thông tin xuất bản: |
Trường Đại học Bách Khoa Hà Nội
2017
|
Chủ đề: | |
Truy cập trực tuyến: | http://dlib.hust.edu.vn/handle/HUST/4918 |
Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|
Tài liệu tương tự
-
Kiểm tra mô hình phần mềm sử dụng ký thuyết ô tômat buchi và logic thời gian tuyến tính
Thông tin tác giả:: Phạm Thị Thái Ninh
Thông tin xuất bản: (2015) -
Phát triển phần mềm áp dụng các phương pháp Srum và extreme programming
Thông tin tác giả:: Phạm Quang Hoà
Thông tin xuất bản: (2015) -
Nghiên cứu về Separation Logic và ứng dụng vào hệ thống kiểm định tự động.
Thông tin tác giả:: Nguyễn Đức Cường
Thông tin xuất bản: (2016) -
Nghiên cứu và ứng dụng công cụ BIP trong phát triển và kiểm chứng phần mềm.
Studying and Applying BIP Component-Framework in Software Construction and Verification. (Viết bằng tiếng Anh và bảo vệ bằng tiếng Việt).
Thông tin tác giả:: Vũ Minh Phong
Thông tin xuất bản: (2016) -
Tìm hiểu và Xây dựng ca kiểm thử phần mềm ứng dụng ontology.
Thông tin tác giả:: Vũ Thị Thúy Hoàn
Thông tin xuất bản: (2016)