Trình bày ngữ nghĩa của hệ thống hướng đối tượng với các lớp, tính trực quan, liên kết động và các phương thức đệ quy. Các khai báo lớp và các lệnh như là các thiết kế dựa trên tiền điều kiện, hậu điều kiện và các mối quan hệ của các thành phần trong hệ thống... Cách tiếp cận này sẽ cho thấy rõ ràng mối quan hệ của các thành phần trong hệ thống hướng đối tượng, và các khả năng sử dụng các công cụ và cách thức kiểm tra để cải tiến đặc tả hệ thống được phát triển sau này.