TAILIEUCHUNG - Tóm tắt Luận án Tiến sĩ: Một số phương pháp kiểm chứng các hệ thống hướng đối tượng

Luận án “Một số phương pháp kiểm chứng các hệ thống hướng đối tượng” bao gồm sáu chương. Trong đó, Chương 1 trình bày bài toán mà luận án sẽ nghiên cứu, Chương 2 trình bày một cách tóm tắt các hướng nghiên cứu chính của bài toán kiểm chứng tính nhất quán trong tái cấu trúc. Chương 3 đề xuất phương pháp kiểm chứng các ràng buộc về bất biến trong tái cấu trúc biểu đồ lớp; . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đào Thị Hường MỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNG CÁC HỆ THỐNG HƯỚNG ĐỐI TƯỢNG TÓM TẮT LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2017 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Đào Thị Hường MỘT SỐ PHƯƠNG PHÁP KIỂM CHỨNG CÁC HỆ THỐNG HƯỚNG ĐỐI TƯỢNG Chuyên ngành Kỹ thuật Phần mềm Mã số TÓM TẮT LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC Trương Ninh Thuận Hà Nội - 2017 Mục lục 1 Giới thiệu 1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Các kết quả chính của luận án . . . . . . . . . . . . . . . . . . . . . . . . 2 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 KIẾN THỨC CƠ SỞ 3 Tái cấu trúc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Mẫu thiết kế . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 Kiểm chứng tính bất biến trong tái cấu trúc mô hình 5 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Phương pháp bảo toàn tính bất biến trong tái cấu trúc biểu đồ lớp của UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Mô hình hóa biểu đồ lớp trong UML . . . . . . . . . . . . . . . . . 5 Xây dựng tập luật áp dụng trong tái cấu trúc biểu đồ lớp của mô hình UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Kết chương . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4 Kiểm chứng sự bảo toàn hành vi trong tái cấu trúc 13 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Kiểm chứng tính nhất quán về mặt hành vi trong tái cấu trúc hệ thống phần mềm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Tổng quan về quy trình kiểm chứng sự bảo toàn hành vi trong tái cấu trúc hệ thống phần mềm . . . . . . . . . . . . . . . . . . . . . 13 .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ
• Hệ thống hướng đối tượng
• Kỹ thuật phần mềm
• Tái cấu trúc biểu đồ lớp
• Tái cấu trúc hệ thống phần mềm
• Mẫu thiết kế Strategy
• Dự thảo tóm tắt Luận án Tiến sĩ
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh