Luận án TS Tôn Long Phước: Sinh mã nguồn thiết bị đeo tay IoT mô hình hóa, tập luật

DANH MỤC CÁC HÌNH ẢNH

DANH MỤC CÁC BẢNG BIỂU

TỪ ĐIỂN THUẬT NGỮ

1. CHƯƠNG 1: GIỚI THIỆU BÀI TOÁN

1.1. Bối cảnh nghiên cứu

1.2. Vấn đề sinh mã nguồn trên các thiết bị đeo tay

1.3. Bài toán sinh mã nguồn cho các ứng dụng chạy trên các thiết bị đeo tay trong lĩnh vực Internet vạn vật

1.4. Phát biểu vấn đề

1.5. Mục tiêu nghiên cứu

1.6. Câu hỏi nghiên cứu

1.7. Những đóng góp chính của nghiên cứu

1.8. Tầm quan trọng của nghiên cứu

1.9. Giới hạn của nghiên cứu

1.10. Bố cục của luận án

2. CHƯƠNG 2: TÌNH HÌNH NGHIÊN CỨU VÀ KIẾN THỨC NỀN TẢNG

2.1. Tình hình nghiên cứu

2.1.1. Ngôn ngữ chuyên biệt hóa trong ngữ cảnh hẹp

2.1.2. Ngôn ngữ chuyên biệt hóa trong lĩnh vực Internet vạn vật

2.1.3. Những ứng dụng trên thiết bị đeo tay (IoWT) trong các giải pháp thông minh

2.1.4. Những thách thức trong bài toán sinh mã nguồn cho thiết bị đeo tay

2.2. Kiến thức nền tảng

2.2.1. Phát triển phần mềm theo kỹ thuật dựa trên mô hình (MDE)

2.2.2. Sinh mã nguồn dựa theo hướng phát triển mô hình MDD

2.2.3. Sinh mã nguồn dựa theo kiến trúc hướng mô hình MDA

2.2.4. Sinh mã nguồn dựa vào đặc tả theo ngữ nghĩa

2.3. Tổng kết chương

3. CHƯƠNG 3: KHUNG THỨC TỔNG QUÁT XÂY DỰNG NGÔN NGỮ CHUYÊN BIỆT HÓA TRONG NGỮ CẢNH HẸP CHO LĨNH VỰC INTERNET VẠN VẬT

3.1. Cơ sở cho cách tiếp cận xây dựng khung thức cho bài toán sinh mã nguồn theo hướng mô hình

3.1.1. Các khung thức sinh mã nguồn theo hướng mô hình

3.1.2. Khung thức đề xuất

3.1.3. Cơ chế sinh mã của khung thức tổng quát

3.2. Tổng kết chương

4. CHƯƠNG 4: CÔNG CỤ SINH MÃ NGUỒN CHO CÁC ỨNG DỤNG CHẠY TRÊN THIẾT BỊ ĐEO TAY MICRASPIS

4.1. Thư viện EMF và GEF

4.2. Ví dụ minh họa

4.3. Kiến trúc tổng quát

4.3.1. Tầng thiết kế phần cứng và đặc tả ứng dụng

4.3.1.1. Thiết kế phần cứng

4.3.1.2. Thiết kế ứng dụng

4.3.2. Tầng kiểm tra cú pháp và ràng buộc dựa trên tập luật

4.3.2.1. Sub-phase 1: Kiểm tra ràng buộc

4.3.2.2. Sub-phase 2: Kiểm tra cú pháp

4.3.3. Sinh mã nguồn cho chương trình

4.3.3.1. Sinh mã nguồn theo đặc tả cụ thể

4.3.3.2. Sinh mã nguồn theo đặc tả trừu tượng

4.3.3.3. Sinh mã theo khai báo trực quan

4.4. So sánh kết quả

4.5. Tổng kết chương

5. CHƯƠNG 5: TỔ CHỨC THỬ NGHIỆM VÀ ĐÁNH GIÁ CÔNG CỤ MICRASPIS

5.1. Tổ chức thử nghiệm

5.1.1. Triển khai Micraspis trong các trường học

5.1.2. Triển khai Micraspis trong môi trường công nghiệp

5.1.2.1. Tỷ lệ độ hài lòng với công cụ Micraspis

5.1.2.2. Tỷ lệ mã nguồn tạo ra tự động với công cụ Micraspis

5.1.2.3. Chất lượng mã nguồn tạo ra từ công cụ Micraspis

5.2. Tổng kết chương

6. CHƯƠNG 6: MÔ HÌNH HÓA ĐẶC TẢ NGHIỆP VỤ CÁC GIẢI PHÁP THÔNG MINH BẰNG NGÔN NGỮ ALLOY

6.2. Dùng Alloy kiểm soát các đối tượng trong ứng dụng chạy trên thiết bị đeo tay

6.2.1. Ví dụ minh họa

6.2.2. Mô hình đề xuất

6.2.3. Giải thuật kiểm soát đối tượng thông qua các tập luật

6.2.4. Kết quả thực nghiệm

6.3. Tổng kết chương

7. CHƯƠNG 7: KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN

7.2. Hướng phát triển

7.2.1. Mở rộng nền tảng Web

7.2.2. Mở rộng các thành phần phần cứng

7.2.3. Mở rộng phạm vi sinh mã nguồn

7.2.4. Một số hướng nghiên cứu mở rộng khác

DANH MỤC CÁC CÔNG TRÌNH ĐÃ CÔNG BỐ

CÁC ĐỀ TÀI ĐÃ HOÀN TẤT

Tài liệu tham khảo

A Danh sách các Case-study