Bài giảng Đặc tả hình thức - Giới thiệu môn học - Vũ Thanh Nguyên

Cung cấp các kiến thức liên quan đến hướng tiếp cận xây dựng phần mềm dùng đặc tả hình thức.

 Đặc tả hình thức là các kỹ thuật dựa trên nền tảng của toán học

được áp dụng và hỗ trợ để xây dựng các hệ thống và phần mềm.

 Môn học cung cấp cho sinh viên n giai đoạn triển khai.

 Môn học bao gồm các chương liên quan đến các thành phần cơ sở trong đặc tả hình thức nói chung (Tâp họp, Hàm, Dãy,.), và

cụ thể hơn trong các chương về đặc tả với VDM và Z.

 Môn học giúp ích cho sinh viên h iểu và nắm bắt các phương pháp hình thức để có thể đặc tả và thực hiệ