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...
محفوظ في:
المؤلف الرئيسي: | Trần, Hoàng Việt |
---|---|
التنسيق: | Theses and Dissertations |
اللغة: | other |
منشور في: |
Đại học Quốc gia Hà Nội
2016
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/6031 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | Vietnam National University, Hanoi |
اللغة: | other |
مواد مشابهة
-
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) -
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) -
Công trình học phần mềm = software engineering
بواسطة: Hoàng Việt Hà
منشور في: (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
بواسطة: Trần, Hoàng Việt
منشور في: (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)