TAILIEUCHUNG - Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên

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! | Trường Đại học Công Nghệ Thông Tin ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 8 Ngôn Ngữ Đặc Tả Z . Vũ Thanh Nguyên 4 5 2019 . Vũ Thanh Nguyên 1 Nội dung 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 đồ 4 5 2019 . Vũ Thanh Nguyên 2 Giới Thiệu Đượ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. 4 5 2019 . Vũ Thanh Nguyên 3 Các Thành Phần Của Ngôn Ngữ Logic mệnh đề. Các khái niệm về logic mệnh đề cũng như hệ thống ký hiệu của logic mệnh đề trong ký pháp Z hoàn toàn giống với ngôn ngữ toán học thông thường. Có 5 phép toán mệnh đề trong ngôn ngữ Z được liệt kê trong bảng dưới đây với độ ưu tiên giảm dần từ trên xuống dưới 4 5 2019 . Vũ Thanh Nguyên 4 Các Thành Phần Của Ngôn Ngữ Logic vị từ. Các khái niệm và định nghĩa của logic vị từ cũng hoàn toàn giống như trong toán học ngoại trừ ký hiệu có khác biệt. Cú pháp chung của 1 vị từ sử dụng lượng từ Qx A p q Trong đó Q lượng từ hoặc . x biến ràng buộc. A tập các giá trị của x. p ràng buộc trên biến. q vị từ. 4 5 2019 . Vũ Thanh Nguyên 5 Các Thành Phần Của Ngôn Ngữ Logic vị từ. Ta có các phát biểu tương đương như sau Như vậy ký hiệu thuộc về 1 tập hợp trong Z là dấu hai chấm thay vì là dấu như trong toán học. Ký hiệu sao cho sử dụng dấu gạch đứng và ký hiệu thì sử dụng dấu chấm tròn . 4 5 2019 . Vũ Thanh Nguyên 6 Các Thành Phần Của Ngôn Ngữ Logic vị từ. Tồn tại ít nhất 2 giá trị thỏa điều kiện được biểu diễn như sau Tồn tại duy nhất 1 giá trị thỏa điều kiện được biểu diễn như sau Ví dụ Phát biểu có duy nhất 1 quyển sách trên bàn được biểu diễn dưới dạng vị từ như sau x Desk có nghĩa là cuốn sách nằm trên bàn. 4 5 2019 . Vũ .

• Kỹ thuật lập trình
• Bài giảng Đặc tả hình thức
• Đặc tả hình thức
• Ngôn ngữ đặc tả Z
• Phép toán trên giản đồ
• Logic toán học
• Logic mệnh đề
• Đặc tả hàm
• Đặc tả đệ quy
• Đặc tả hàm tường minh
• Đặc tả hàm không tường minh
• Lập trình phần mềm
• Công nghệ phần mềm
• Đặc tả phần mềm
• Ngôn ngữ đặc tả hình thức
• Đặc tả yêu cầu phần mềm
• Bài giảng Đặc tả yêu cầu phần mềm
• Công nghệ phần mềm nâng cao
• Phân loại đặc tả yêu cầu phần mềm
• Đặc tả phi hình thức phần mềm
• Đặc tả hình thức phần mềm
• Mô hình Thế giới thực
• Quy trình công nghệ phần mềm
• Ngôn ngữ hình thức
• Thiết kế ở mức cao
• Đặc tả ở mức mã nguồn
• JML nâng cao
• Từ khóa chính trong JML
• Các tính năng nâng cao
• Đặc tả các ngoại lệ
• Thừa kế đặc tả
• Các trường model
• Đặc tả không hình thức
• Phép toán vị từ
• Cơ sở đặc tả hình thức
• Luật suy diễn
• Cơ sở toán học trong đặc tả hình thức
• Hệ thống phần mềm
• Lỗi phần mềm
• Ngôn ngữ và hệ thống
• Các ngôn ngữ đặc tả
• Kiểm tra mô hình
• Mô hình hóa dữ liệu
• Kiểu dữ liệu
• Đặc tả operation
• Dữ liệu kiểu mảng
• Kiểu đối tượng phức
• Kiểu tập hợp
• Design by contract
• Ngôn ngữ đặc tả
• Công cụ hỗ trợ
• Giới thiệu về ESC Java2
• Cách sử dụng và thuộc tính
• Cấu trúc của ESC
• Các file đặc tả
• Thủ thuật và cạm bẫy
• Đặc tả thừa kế
• Đặc tả sử dụng ánh xạ
• Kiểu ánh xạ