Phương pháp sinh mô hình tự động cho phần mềm dựa trên thành phần

• 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: Công nghệ phần mềm; Mô hình tự động; Thành phần phần mềm
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/6031
• Institution: Vietnam National University, Hanoi

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...