Lễ bảo vệ luận án tiến sĩ chuyên ngành Kỹ thuật phần mềm của Nghiên cứu sinh Lê Minh Đức

    Chiều ngày 16/01/2020, tại Trường Đại học Công nghệ đã diễn ra Lễ bảo vệ luận án tiến sĩ chuyên ngành Kỹ thuật phần mềm của nghiên cứu sinh Lê Minh Đức, giảng viên Trường Đại học Hà Nội,với đề tài “Phương pháp tiếp cận khung nhìn hợp nhất cho tự động hóa phát triển phần mềm”. Luận án được thực hiện dưới sự hướng dẫn khoa học của PGS.TS. Nguyễn Việt Hà và TS. Đặng Đức Hạnh.

    Tham dự lễ bảo vệ về phía Trường ĐHCN có PGS.TS. Nguyễn Phương Thái – Trưởng phòng Đào tạo; PGS.TS. Phan Xuân Hiếu – Phó Chủ nhiệm Khoa CNTT. Về phía Trường ĐH Hà Nội có ông Trịnh Bảo Ngọc – Khoa CNTT.

    Hội đồng cấp ĐHQG chấm luận án tiến sĩ gồm PGS.TS. Phạm Ngọc Hùng – Trường ĐHCN, Chủ tịch Hội đồng; TS. Tô Văn Khánh – Trường ĐHCN, Thư ký Hội đồng; Các phản biện gồm PGS.TS. Nguyễn Đình Hóa – Viện Công nghệ Thông tin (ĐHQGHN), PGS.TS. Đặng Văn Đức – Viện Công nghệ thông tin (Viện Hàn lâm KH&CN Việt Nam); TS. Đỗ Thị Bích Ngọc – Học viện Công nghệ Bưu chính Viễn thông; Các ủy viên gồm TS. Trần Khánh Dung – Trường Đại học Xây dựng Hà Nội, TS. Nguyễn Văn Tăng – Bộ KH&CN.

NCS Lê Minh Đức và thầy hướng dẫn chụp ảnh lưu niệm với các thành viên Hội đồng

    Một vấn đề quan trọng trong phát triển phần mềm là xây dựng mô hình của miền nghiệp vụ và từ đó phát triển thành phần mềm hoàn chỉnh. Phương pháp phát triểnphần mềm hướng miền hiện mới chỉ tập trung vào phần xây dựng mô hình miền. Luận án đề xuất nâng cấp phương pháp này để tự động hóa phát triển phần mềm. Luận án lấy phương pháp thiết kế hướng miền làm cơ sở để kết hợp kỹ nghệ ngôn ngữ chuyên biệt miền dạng ghi chú, nhằm mục đích định nghĩa hai ngôn ngữ là DCSL và MCCL cho biểu diễn mô hình miền và cấu hình mô-đun phần mềm. Luận án đề xuất một mô hình miền hợp nhất hai khía cạnh (cấu trúc và hành vi) và biểu diễn mô hình này bằng DCSL. Từ đây, luận án đề xuất phương pháp biểu diễn cấu hình các mô-đun bằng MCCL. Các cấu hình này được dùng để sinh tự động mô-đun phần mềm. Bộ sinh tự động sử dụng các thành phần phần mềm trong một phần mềm khung tên là jDomainApp.

NCS Lê Minh Đức trình bày luận án trước hội đồng

    Luận án có đóng góp mới được công bố trong 5 công trình khoa học, trong đó có 02 công trình trên tạp chí quốc tế, 03 báo cáo tại hội thảo quốc tế.

NCS Lê Minh Đức bày tỏ lời cảm ơn đến TS. Đặng Đức Hạnh (ngoài cùng, bên trái ảnh)

PGS.TS. Nguyễn Phương Thái (ngoài cùng bên phải ảnh) chúc mừng NCS Lê Minh Đức bảo vệ thành công luận án

Ông Trịnh Bảo Ngọc (ngoài cùng, bên phải ảnh) chúc mừng NCS Lê Minh Đức

    Tại buổi bảo vệ, nghiên cứu sinh đã tự tin trình bày luận án và trả lời những câu hỏi được Hội đồng đưa ra. Hội đồng đánh giá cao kết quả luận án, đáp ứng các yêu cầu của một luận án Tiến sĩ chuyên ngành Kỹ thuật phần mềm. Đề nghị Đại học Quốc gia Hà Nội xem xét cấp bằng Tiến sĩ cho NCS Lê Minh Đức.

(UET-News)

Bài viết liên quan