Tóm tắt Luận án Tiến sĩ Khoa học máy tính: Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật

Mục tiêu của luận án "Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật" là tìm hiểu các công trình nghiên cứu về sinh mã nguồn theo hướng mô hình, đặc biệt trong lĩnh vực Internet vạn vật. Từ đó, để xuất một khung thức tổng quát cho việc sinh mã nguồn ứng dụng chạy trên các thiết bị đeo tay. Khung thức này cho phép đặc tả ứng dụng và kiến trúc phần cứng của thiết bị đeo tay một cách hợp lý.
Nội dung trích xuất từ tài liệu:
Tóm tắt Luận án Tiến sĩ Khoa học máy tính: Sinh mã nguồn cho các thiết bị đeo tay trong các giải pháp thông minh trên nền tảng internet vạn vật bằng mô hình hóa và tập luật ĐẠI HỌC QUỐC GIA TP. HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC BÁCH KHOA TÔN LONG PHƯỚCSINH NGUỒN CH C C THI T ĐE TAY TRONG C C GIẢI H TH NG INH TR N N N TẢNG INTERNET VẠN V T NG H NH H V T U TNgành: Khoa học máy tínhMã số ngành: 62480101 TÓM TẮT LUẬN ÁN TIẾN SĨ TP. HỒ CHÍ MINH - NĂM 2022Công trình được hoàn thành tại Trường Đại học ách Khoa – ĐHQG-HCMNgười hướng dẫn 1: TS. Lê Lam SơnNgười hướng dẫn 2: TS. Phạm Hoàng AnhPhản biện độc lập 1:Phản biện độc lập 2:Phản biện 1:Phản biện 2:Phản biện 3:Luận án sẽ được bảo vệ trước Hội đồng đánh giá luận án họp tại..............................................................................................................................................................................................................................................................vào lúc giờ ngày tháng nămCó thể tìm hiểu luận án tại thư viện: - Thư viện Trường Đại học Bách Khoa – ĐHQG-HCM - Thư viện Đại học Quốc gia Tp.HCM - Thư viện Khoa học Tổng hợp Tp.HCM D NH ỤC C NG TR NH Đ C NG ỐTạp chí quốc tế 1. L-P. Tôn, L-S. Lê and M-S. Nguyen “Micraspis: A Computer-aided Proposal towards Programming and Architecting Smart IoT Wearables”, IEEE Access, vol. 9, pp 105393-105408, 2021 (ISI (SCIE), Q1, Impact Factor: 3.745).Tạp chí trong nước 1. L-P. Tôn and M-H. Nguyen Model checking early requirements specifications in Alloy, In Journal of Science and Technology, Vietnam Academy of Science and Technology, vol. 54 (3A), Special issue of Intelligent System and its Applications, pp. 140-151, (selected papers from Proceedings of International Symposium Intelligent Systems and Applications 2016 (ISA2016), Ho Chi Minh city, Vietnam).Kỷ yếu hội nghị quốc tế 1. L-P. Tôn and T-M. Truong Linking Rules and Conceptual Model in a Domain Specicfic Language, in Proceedings of 9th International Conference on Advanced Computing and Applications, pages 35-42, IEEE Computer Society, 2015 (Scopus). 2. T-M. Truong, L-S. Lê and L-P. Tôn “Re-engineering Enterprises Using Data Warehouse as a Driver and Requirements as an Enabler”, in Proceedings of 21st IEEE International Conference on Enterprise Distributed Object Computing (EDOC), pp 67-72, IEEE Computer Society, Quebec, Canada, October 2017 (Qualis conference ranking A2) 3. L-P. Tôn, L-S. Lê and H-A. Pham “Towards a Domain Specific Framework for Wearable Applications in Internet of Things”, in Proceedings of 4th International Conference on Future Data and Security Engineering, pp 309-324, Springer, November 2017 (Scopus). 4. L-P. Tôn, H-A. Pham and B. Dao Software Abstraction for Casual Games Using Temporal Model: an Alloy-based Approach, in Proceedings of 11th International Conference on Advanced Computing and Applications, pp 3-9, IEEE Computer Society, November 2017 (Scopus). 5. L-P. Tôn, L-S. Lê, H-A. Pham and B. Dao Monitoring IoT Objects in Wearable Applications: An Alloy-Based Approach, in Proceedings of 12th International Conference on Advanced Computing and Applications, pp 35-41, IEEE Computer Society, November 2018 (Scopus). 6. T-M. Truong, L-P. Tôn Augmenting a Process Model with State Machine and Business Artifacts, in Proceedings of 13th International Conference on Advanced Computing and Applications, pp 7-15, IEEE Computer Society, 2019. 7. L-P. Tôn, L-S. Lê “Enacting a Rule-Based Alert Business Process in Smart Healthcare Using IoT Wearables”, in Proceedings of 21st IEEE International Conference on Enterprise Distributed Object Computing, pp 104-107, IEEE Computer Society, Paris, France, October 2019 (Qualis conference ranking A2)Đề tài nghiên cứu khoa học 1. Đề tài cấp cơ sở, Tên đề tài Xây dựng mô hình chuyển đổi ngôn ngữ đặc tả sang ngôn ngữ thực thi, Mã đề tài: IUH KTT10/16, Thời gian: 2015- 2016, vai trò: Chủ nhiệm, Kết quả: Tốt 2. Đề tài cấp cơ sở, Tên đề tài Sinh mã nguồn theo cách tiếp cận ngôn ngữ mô hình chuyên biệt hóa cho ứng dụng games dựa trên ngôn ngữ Alloy, Mã đề tài: TNCS-KHMT-2016-11, Thời gian: 2016-2017, vai trò: Đồng chủ nhiệm, Kết quả: Tốt 3. Đề tài cấp cơ sở, Tên đề tài Phát sinh mã nguồn giao diện cho các ứng dụng vận hành thiết bị đeo tay trong lĩnh vực IoT, Mã đề tài: To-KHMT- 2017-05, Thời gian: 2017-2018, vai trò: Đồng chủ nhiệm, Kết quả: Tốt1 GIỚI THIỆU1.1 Bài toán sinh mã nguồnBài toán sinh mã nguồn cho các ứng dụng chạy trên thiết bị đeo tay trong cá ...