Bài báo này trình bày một cách tinh chế hệ phần mềm trong quá trình phát triển hệ thống dựa trên tiệm cận quan hệ hướng đối tượng. Trong quá trình tinh chế, các luật tinh chế kết hợp với các biểu đồ của UML đã được sử dụng, từng bước xây dựng mô hình từ thô sơ của  hệ  thống dần tới mô hình thiết kế gần với ngôn ngữ lập trình. Giải pháp này tạo điều kiện thuận lợi cho việc cài đặt hệ thống bằng một ngôn ngữ hướng đối tượng bất kỳ

Tải file Về một cách tinh chế mô hình lớp UML tại đây