·
Ngôn ngữ đặc tả hình thức CSL
Ta sẽ định nghĩa về ngôn ngữ CSL (Component Specificaion Language) là nền tảng cho việc thống nhất các công nghệ thành phần. Các lý do khiến nó trở thành ngôn ngữ hình thức: § Lọc lại các xáo trộn và sai sót § Kích thích trí tuệ § Định nghĩa chính xác các điều…