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

Bài giảng "Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp" cung cấp cho người học các kiến thức: Kiểu dữ liệu trong VDM, mô hình hóa dữ liệu, kiểu tập hợp, đặc tả operation, . | Trường Đại học Công Nghệ Thông Tin ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 3 Mô hình hóa dữ liệu Kiểu tập hợp Giảng viên . Vũ Thanh Nguyên 4 5 2019 . Vũ Thanh Nguyên 1 https tailieudientucntt Kiểu dữ liệu trong VDM integer values -32768 32767 operations - div mod gt Các tập hợp được định nghĩa sẵn Tập số nguyên ℤ -2 -1 0 1 2 Tập số tự nhiên ℕ 0 1 2 3 Tập số nguyên dương ℕ1 1 2 3 Tập số thực ℝ Tập số hữu tỉ ℚ Tập boolean B true false Tập ký tự gồm chữ cái hoa thường số phép toán dấu câu Char a b c d e f g h i j k l m n o p q r s t u v w x y z A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 0 1 2 3 4 5 6 7 8 9 - . 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 3 Các tập hợp được định nghĩa sẵn 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 4 Các tập hợp được định nghĩa sẵn Một kiểu dữ liệu bao gồm Tập hợp các giá trị Hệ thống các phép toán cơ sở Dựa trên các phép toán này ta có thể đặc tả các phép toán còn lại. Một phép toán có thể được gọi là 1 hàm là một ánh xạ riêng phần trên tập D X D là miền xác định của f 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 5 Mô hình hóa dữ liệu Technical-Staff values PROJECT-MANAGER TEAM-LEADER ANALYST DESIGNER PROGRAMMER TESTER operations Technical-Staff PROJECT-MANAGER TEAM-LEADER ANALYST DESIGNER PROGRAMMER TESTER 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 6 Kiểu tập hợp Cho trước kiểu dữ liệu T Cần định nghĩa kiểu dữ liệu trong đó mỗi thể hiện là 1 tập hợp các phần tử thuộc kiểu dữ liệu T Ký hiệu T-set Ví dụ 1 Mode READ WRITE EXECUTE FileMode Mode-set FileMode READ WRITE EXECUTE READ WRITE READ EXECUTE EXECUTE WRITE READ WRITE EXECUTE Ví dụ 2 Intset ℤ-set 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 7 Kiểu tập hợp Ví dụ 3 Pupils Patrick Christa Emma Pete Frank Lisa Richard David Daniel John .

• Kỹ thuật lập trình
• Bài giảng Đặc tả hình thức
• Đặc tả hình thức
• Lập trình phần mềm
• Công nghệ phần mềm
• Mô hình hóa dữ liệu
• Kiểu dữ liệu
• Đặc tả operation
• Đặc tả hàm
• Đặc tả đệ quy
• Đặc tả hàm tường minh
• Đặc tả hàm không tường minh
• Đặ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
• 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ạ
• Ngôn ngữ đặc tả Z
• Phép toán trên giản đồ