Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP và công cụ PAT
quá trình ánh xạ (mapping) từ ngôn ngữ đặc tả sang ngôn ngữ cài đặt.doc.DOC
Nghiên cứu ngôn ngữ đặc tả security policy và xây dựng công cụ hỗ trợ
Tìm hiểu mô hình và ngôn ngữ đặc tả mô hình dòng công việc, ứng dụng trong thiết kế quy trình các nhiệp vụ quản lý đào tạo và xây dựng ứng dụng thử nghiệm kết hợp với công nghệ SOA
LUẬN VĂN: NGHIÊN CỨU NGÔN NGỮ ĐẶC TẢ SECURITY POLICY VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ ppt
Bài giảng Ngôn ngữ định nghĩa đối tượng
ngôn ngữ lập trình :Đối tượng Application docx
Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm
Nghiên cứu xây dựng hệ thống dịch từ ngôn ngữ tự nhiên sang ngôn ngữ đặc tả với mô hình COKB
NGÔN NGỮ ĐẶC TẢ ONTOLOGY COKB
Tiểu luận môn biểu diễn tri thức và suy luận TÌM HIỂU NGÔN NGỮ ĐẶC TẢ ONTOLOGY COKB
NGÔN NGỮ ĐẶC TẢ ONTOLOGY CHO COKB-ONT
Sử dụng hiệu quả ngôn ngữ đặc tả UML trong phát triển phần mềm
Bài thuyết trình ngôn ngữ đặc tả z