Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Saved in:

書目詳細資料
主要作者:	Phạm, Như Uyển
格式:	Theses and Dissertations
語言:	other
出版:	Đại học quốc gia Hà Nội 2017
主題:	Kỹ thuật phần mềm Mô hình hóa
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/16737
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Sinh mã tự động trong phát triển phần mềm hướng mô hình
由: Dương, Ngọc Lâm
出版: (2016)

Sinh mã tự động trong phát triển phần mềm hướng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Dương, Ngọc Lâm
出版: (2017)

Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái
由: Đoàn, Thị Thùy Linh, et al.
出版: (2016)

Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái
由: Đoàn, Thị Thùy Linh
出版: (2017)

Nghiên cứu và vận dụng kỹ thuật hướng mô hình cho đặc tả và kiểm chứng chính sách bảo mật
由: Nguyễn, Đức Hiếu
出版: (2020)

Kiểm chứng từng phần cho chương trình C
由: Hoàng, Mạnh Khôi, et al.
出版: (2016)

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)

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, et al.
出版: (2016)

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)

Mô hình hóa chuyên biệt miền cho ứng dụng Web
由: Phạm, Văn Thanh
出版: (2016)

Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh
由: Phạm, Thanh Hải
出版: (2016)

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)

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
出版: (2017)

Nghiên cứu và đề xuất phương pháp mô hình hóa tri thức cho hệ thống văn bản luật : Luận văn ThS. Máy tính: 604801
由: Nguyễn, Hà Thanh
出版: (2017)

Phương pháp sinh mô hình tự động cho phần mềm dựa trên thành phần
由: Trần, Hoàng Việt
出版: (2016)

Cải tiến thuật toán chứng minh tính đúng đắn công thức khoảng
由: Nguyễn, Thị Bình
出版: (2020)

Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
由: Chu, Thị Minh Huệ
出版: (2020)

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)

Nghiên cứu công nghệ tìm kiếm (Mã nguồn mở) Lucene áp dụng giải quyết bài toán tìm kiếm trong hệ thống Văn bản : Luận văn ThS. Kỹ thuật phần mềm: 62.48.01.03
由: Nguyễn, Văn Vinh, Người hướng dẫn, et al.
出版: (2017)

Xây dựng phần mềm quản lý quan hệ khách hàng sử dụng mã nguồn mở DRUPAL
由: Nguyễn, Thị Thu Hiền
出版: (2016)

Kiểm chứng dịch vụ Web với logic thời gian
由: Đào, Thị Hường
出版: (2017)

Kiểm định phần mềm bằng kỹ thuật hộp đen
由: Trương, Thị Thu Hà
出版: (2016)

Nghiên cứu, xây dựng phần mềm hỗ trợ giảng dạy theo mô hình “vai mẫu” đối với kịch hát dân tộc : Luận văn ThS. Máy tính: 84801
由: Mai, Văn Thanh
出版: (2019)

Nghiên cứu Semat và ứng dụng công cụ EssWork trong phát triển phần mềm
由: Đặng, Thị Phước
出版: (2016)

Nghiên cứu tổng hợp công cụ phát hiện lỗi phần mềm để giảm cảnh báo sai
由: Lê, Thế Huy
出版: (2021)

Các kỹ thuật SAT Solving
由: Đặng, Thị Như Hoa
出版: (2017)

Tối ưu phần mềm nhúng trong giai đoạn thiết kế dựa trên chuyển đổi mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
由: Nguyễn, Thị Thu Huyền
出版: (2017)

Ứng dụng phần mềm mã nguồn mở vufind xây dựng mô hình tìm kiếm tài nguyên tập trung cho các đại học vùng
由: Nguyễn, Duy Hoan, et al.
出版: (2016)

Một số phương pháp tối ưu trong các giai đoạn phát triển phần mềm nhúng
由: Phạm, Văn Hưởng
出版: (2016)

Nghiên cứu ngôn ngữ đặc tả yêu cầu theo hướng chuyên biệt miền
由: Trần, Trung Hà
出版: (2020)

Nghiên cứu kỹ thuật phân tích chương trình tĩnh trong việc nâng cao chất lượng phần mềm
由: Trần, Mạnh Đông
出版: (2017)

Phần mềm mã nguồn mở calibre 4.23.0 – giải pháp xây dựng thư viện ebook cá nhân
由: Trần, Minh Nhớ
出版: (2020)

Các kỹ thuật trong kiểm thử dòng dữ liệu tĩnh
由: Nguyễn, Thị Yên
出版: (2020)

Ứng dụng kiến trúc chính phủ điện tử và mô hình SAAS (Software as a service) cho các dịch vụ phần mềm ở cấp phường/xã
由: Dương, Bá Cường
出版: (2016)

Tìm hiểu, nghiên cứu các kỹ thuật cho kiểm thử miền và cải tiến các kỹ thuật đó
由: Trần, Văn Trọng
出版: (2016)

Kỹ thuật sinh test case tự động từ yêu cầu phần mềm
由: Vũ, Thị Đào
出版: (2016)

Kỹ thuật sinh test case tự động từ yêu cầu phần mềm
由: Vũ, Thị Đào
出版: (2016)

Nghiên cứu kiểm thử Webservice và xây dựng công cụ hỗ trợ
由: Trần, Thị Thúy Nhung
出版: (2016)

Các phương pháp dự đoán và ứng dụng vào bài toán đoán nhận khả năng ức chế gen của siRNA
由: Nguyễn, Bá Quân
出版: (2017)

Nghiên cứu chuẩn giao thức FIX và ứng dụng xây dựng phần mềm mô phỏng hệ thống khớp lệnh chứng khoán của sở giao dịch chứng khoán Hà Nội
由: Lê, Đức Hùng
出版: (2017)