Luận Văn Thạc Sĩ Đặc Tả Và Chứng Minh Tính Đúng Đắn Của Thiết Kế Cho Các Hệ Đa Tác Tử

Đặc Tả Và Chứng Minh Tính Đúng Đắn Của Thiết Kế Cho Các Hệ Đa Tác Tử​

Đặc tả và kiểm chứng hình thức là một pha quan trọng nhằm nâng cao độ tin cậy và chất lượng của phần mềm. Có thể chia đặc tả phần mềm ra làm hai loại: đặc tả phi hình thức (ngôn ngữ tự nhiên) và đặc tả hình thức (dựa trên kiến trúc toán học). Đặc tả phi hình thức là đặc tả sử dụng ngôn ngữ tự nhiên. Tuy nó không được chặt chẽ bằng đặc tả hình thức nhưng được nhiều người biết và có thể dùng để trao đổi với nhau để làm chính xác hóa các điểm chưa rõ, chưa thống nhất giữa các bên phát triển hệ thống. Đặc tả hình thức là đặc tả mà ở đó các từ ngữ, cú pháp, ngữ nghĩa được định nghĩa hình thức dựa vào toán học. Đặc tả hình thức có thể coi là một phần của hoạt động đặc tả phần mềm. Các đặc tả yêu cầu được phân tích chi tiết. Các mô tả trừu tượng của các chức năng chương trình có thể được tạo ra để làm rõ yêu cầu.

• Luận văn thạc sĩ khoa học
• Chuyên ngành Đảm bảo toán học cho máy tính và hệ thống tính toán
• Người hướng dẫn khoa học: TS. Phạm Ngọc Hùng
• Tác giả: Nguyễn Quỳnh Chi
• Số trang: 66
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2012

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1055667&sp=T&sp=3&suite=def
http://sachviet.edu.vn/forums/dvd-ebook-luan-van.117/
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1