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

Abstract

Khái quát những khái niệm cơ bản và các vấn đề liên quan đến phát triển phần mềm hướng đối tượng và phương pháp hình thức. Trình bày một tiến trình phát triển phần mềm tập trung vào khung nhìn biểu đồ lớp được đề xuất trong đó đặc tả hệ thống, các phép biến đổi, luật làm mịn được thể hiện và chứng minh bằng rCOS. Trình bày nghiên cứu xây dựng một phần mềm công cụ trợ giúp cho quá trình phát triển phần mềm hướng đối tượng