Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên
Được xây dựng dựa trên lý thuyết tập hợp và logic toán học
Đây là một ngôn ngữ toán học chặt chẽ, được sử dụng chủ yếu
trong đặc tả hình thức để đặc tả các yêu cầu chức năng của 1
hệ thống, đặc biệt là hệ thống phần mềm.
Ngôn ngữ Z không được thiết kế để mô tả các yêu cầu phi
chức năng của hệ thống.
Ngôn ngữ cũng không được thiết kế cho các đặc tả theo thời
gian hay xử lý song song.
Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên trang 1
Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên trang 2
Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên trang 3
Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên trang 4
Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_dac_ta_hinh_thuc_chuong_8_ngon_ngu_dac_ta_z_vu_tha.pdf
