Ngôn ngữ đặc tả Z

Bài giảng Đặc tả hình thức: Chương 4 Số và kiểu mảng, cung cấp cho người đọc những kiến thức như: Số và mảng; ngôn ngữ Z mô tả các dạng số; các hàm và thao tác trên mảng/chuỗi. Mời các bạn cùng tham khảo!

28p bapnep06 27-02-2023 10 3   Download

Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!

47p bapnep06 27-02-2023 10 3   Download

Ngôn ngữ Z là ngôn ngữ đặc tả hình thức cho hệ thống máy tính dựa trên cơ sở lý thuyết tập hợp, logic vị từ và sử dụng sơ đồ để biểu diễn. Nhằm giúp các bạn hiểu hơn về vấn đề này, mời các bạn cùng tham khảo nội dung bài thuyết trình "Ngôn ngữ đặc tả Z". Hy vọng đây là tài liệu tham khảo hữu ích cho các bạn.

28p thanh136qn 26-10-2015 170 27   Download

Ký pháp Z, hay còn được gọi là ngôn ngữ Z đượ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, ví dụ như công dụng, hiệu năng, kích thước hay độ tin cậy của hệ thống. Ngôn ngữ cũng không được thiết kế cho các...

17p spamspam 16-01-2011 663 145   Download