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

Discussion in 'Tủ Sách Giáo Dục Đại Học' started by nhandang123, May 30, 2017.

  1. nhandang123

    nhandang123 Moderator

    upload_2022-9-4_16-46-16.png
    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/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
     

    Zalo/Viber: 0944625325 | buihuuhanh@gmail.com

    Last edited by a moderator: Sep 4, 2022

Share This Page