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;...