Phương pháp sinh mô hình tự động cho phần mềm dựa trên thành phần
Nêu bật được bối cảnh, tính cấp thiết của việc sinh mô hình tự động cho phần mềm dựa trên thành phần, từ đó đặt bài toán là sinh mô hình một cách tự động cho các thành phần phần mềm mà đã có được các đặc tả hình thức của chúng dưới dạng những biểu thức chính quy các chuỗi hành động của thành phần ph...
Saved in:
Main Author: | Trần, Hoàng Việt |
---|---|
Format: | Theses and Dissertations |
Language: | other |
Published: |
Đại học Quốc gia Hà Nội
2016
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/6031 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | other |
Similar Items
-
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) -
Sinh mã tự động trong phát triển phần mềm hướng mô hình
by: Dương, Ngọc Lâm
Published: (2016) -
Công trình học phần mềm = software engineering
by: Hoàng Việt Hà
Published: (2017) -
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
by: Trần, Hoàng Việt
Published: (2020) -
Tích hợp ATAM-CBAM trong đánh giá kiến trúc phần mềm và áp dụng cho dự án VANCO-NETDIRECT tại công ty phần mềm FSOFT
by: Nguyễn, Minh Quý
Published: (2017)