Phương pháp hình thức trong việc phát triển hệ thống hướng đối tượng