Methods for modeling and verifying event-driven systems
Modeling and verication plays an important role in software engineering because it improves the reliability of software systems. Software development technologies introduce a variety of methods or architectural styles. Each system based on a different architecture is often pro-posed with different s...
Saved in:
Main Author: | Lê, Hồng Anh |
---|---|
Other Authors: | Phạm, Bảo Sơn, 1977- |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/13613 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
by: Nguyễn, Xuân Trường
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) -
Kiểm chứng dịch vụ Web với logic thời gian
by: Đào, Thị Hường
Published: (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
by: Nguyễn, Thị Loan, et al.
Published: (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
by: Phan, Văn Tiến
Published: (2017)