Giáo Trình Đặc Tả Hình Thức (NXB Đại Học Quốc Gia 2013) - Vũ Thanh Nguyên, 291 Trang

Hiện này với sự phát triển mạnh mẽ của hệ thống máy tính, nhu cầu đặc tả hệ thống trong các giai đoạn phát triển phần mềm càng được tăng cường. Bởi vì ngoài lợi ích mô tả hệ thống, các đặc tả còn giúp cho các người quản trị dự án có thể phát hiện sớm các lỗi trong hệ thống. Từ đó giúp giảm thiểu chi phí xây dựng và phát triển hệ thống hay phần mềm trong các giai đoạn sau của dự án. Giáo trình đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z. Ngoài ra giáo trình còn cung cấp phần kiến thức về phương pháp kiểm chứng và chứng minh tính đúng đắn của đặc tả hàm và luật suy diễn.

• Giáo Trình Đặc Tả Hình Thức
• NXB Đại Học Quốc Gia 2013
• Vũ Thanh Nguyên, Hầu Vũ Thành Nam
• 291 Trang
• File PDF-TRUE

Link download
https://ir.vnulib.edu.vn/handle/VNUHCM/8825
https://drive.google.com/file/d/1AqvQJNJe_Nog_yGqetUM3c49mEr33k0D
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTZ3WGQHg04L1