Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B

Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B

Saved in:

書目詳細資料
主要作者:	Nguyễn, Xuân Trường
其他作者:	Trương, Ninh Thuận
語言:	Vietnamese
出版:	Đại học Công nghệ 2017
主題:	Giao diện phần mềm Kiểm chứng Giao diện người dùng Mô hình hóa Event - B
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/41540
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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)

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)

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)

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

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

Bàn về mô hình giáo dục điện tử
由: Vũ, Đình Chuẩn
出版: (2014)

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)

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)

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
由: Phạm, Như Uyển
出版: (2017)

Ứ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)

Nghiên cứu và đề xuất các phương pháp kiểm thử giao diện phần mềm
由: Trần, Thị Long, et al.
出版: (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)

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)

Xây dựng các ca kiểm thử tự động từ giao diện phần mềm
由: Trịnh, Thị Minh Hiển
出版: (2016)

Một số vấn đề về kiểm thử phần mềm
由: Nguyễn, Văn Hanh
出版: (2017)

Kiểm định phần mềm theo tiếp cận hệ thống
由: Đoàn, Văn Trung
出版: (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)

Methods for modeling and verifying event-driven systems
由: Lê, Hồng Anh
出版: (2016)

Ứ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)

Xây dựng các ca kiểm thử tự động từ giao diện phần mềm : Luận văn ThS. Công nghệ thông tin: 60 48 10
由: Trịnh, Thị Minh Hiển
出版: (2017)

Nghiên cứu kiểm thử bao phủ phần mềm và ứng dụng
由: Ngô, Thùy Linh
出版: (2016)

VNUDIC-J: Phần mềm từ điển chuyên nghiệp nhất
由: Đức, Minh
出版: (2015)

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)

A study on race discrimination embedded in the short story Christina Rosenthal (by Jeffrey Archer) from a critical discourse analysis = Nghiên cứu sự phân biệt chủng tộc trong truyện ngắn "Christina Rosenthal" (Jeffrey Archer) dưới góc độ phân tích diễn n
由: Nguyễn, Thị Thanh Huyền
出版: (2017)

Méthode de conception pour IHM et Interactions distribuées = Phương pháp thiết kế giao diện người-máy trên các thiết bị phân tán
由: Vũ, Thái Dương
出版: (2017)

Bàn về mô hình giáo dục điện tử
由: Vũ Đình Chuẩn
出版: (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)

Phương pháp sinh bộ kiểm thử tự động cho kiểm thử giao diện ứng dụng Web
由: Hà, Khánh Toàn
出版: (2016)

Quản lý, giám sát và điều khiển thiết bị bằng phần mềm trên Android thông qua mạng điện thoại di động
由: Bùi, Thị Linh
出版: (2016)

Nghiên cứu về kiểm thử cho mô hình ứng dụng Web
由: Nguyễn, Việt Anh, et al.
出版: (2016)

Xây dựng ứng dụng kiểm thử phần mềm tự động sử dụng selenium và webdriver
由: Phạm, Thị Hải Yến
出版: (2020)

Ứng dụng mô hình hướng dịch vụ và điện toán đám mây xây dựng phần mềm quản lý điều hành tại Viện Kinh Tế - Bộ Xây Dựng
由: Nguyễn, Hữu Cảnh
出版: (2016)

Hệ thống nhân vật phản diện trong ba phim truyền hình thành công của thập niên thứ 2 thế kỷ XXI (Sống chung với mẹ chồng, Người phán xử, Cả một đời ân oán)
由: Lê, Văn Luật
出版: (2020)

Nâng cấp tính năng tìm kiếm của phần mềm thương mại điện tử Magento sử dụng Sphinx Search
由: Lê, Văn Trung
出版: (2017)

Nghiên cứu và xây dựng ứng dụng phân tích dữ liệu kinh doanh thiết bị điện tử : Luận văn ThS. Kỹ thuật phần mềm: 60480103
由: Nguyễn, Hải Châu, Người hướng dẫn, et al.
出版: (2017)

Quản lý, giám sát và điều khiển thiết bị bằng phần mềm trên Android thông qua mạng điện thoại di động : Luận văn ThS. Kỹ thuật điện tử viễn thông: 60 52 70
由: Bùi, Thị Linh
出版: (2017)

Miến Điện - một đất nước Phật giáo
由: Vũ, Phong Tạo
出版: (2017)

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)

Ứng dụng mô hình hướng dịch vụ và điện toán đám mây xây dựng phần mềm quản lý điều hành tại Viện Kinh tế - Bộ Xây dựng : Luận văn ThS. Công nghệ thông tin: 60 48 05
由: Nguyễn, Hữu Cảnh
出版: (2017)