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

Bài giảng "Đặc tả hình thức - Chương 6: Kiểu đối tượng phức" bao gồm các nội dung: Định nghĩa kiểu đối tượng phức, khởi tạo đối tượng phức, ràng buộc trên kiểu dữ liệu, cập nhật đối tượng phức. . | Bài giảng Đặc tả hình thức: Chương 6 - . Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 6: Kiểu đối tượng phức . Vũ Thanh Nguyên 4/5/2019 . Vũ Thanh Nguyên 1 Nội dung Định nghĩa kiểu đối tượng phức Khởi tạo đối tượng phức Ràng buộc trên kiểu dữ liệu Cập nhật đối tượng phức 4/5/2019 . Vũ Thanh Nguyên 2 Đặc tả kiểu đối tượng phức Trong quá trình phát triển các ứng dụng, đối với các kiểu dữ liệu được hỗ trợ trong hệ thống không đủ sức mạnh để chúng ta đặc tả các bài toán phức tạp. Đối với khái niệm trong ngôn ngữ lập trình thì chúng ta sử dụng cấu trúc dữ liệu để mô tả các đối tượng này và trong đặc tả hình thức chúng ta có khái niệm tương tự đó là đối tượng phức. Với một đối tượng phức chúng ta có thể xử lý được nhiều thông tin hơn so với đối tượng có sẵn. 4/5/2019 . Vũ Thanh Nguyên 3 Đặc tả kiểu đối tượng phức Cú pháp: Tên-kiểu-đối-tượng-phức :: Tên-field1: Kiểu1 Tên-field2: Kiểu2 Tên-fieldn: Kiểun 4/5/2019 . Vũ Thanh Nguyên 4 Đặc tả kiểu đối tượng phức Ở đó: ký hiệu :: có thể được đọc là ”is composed of” mà có thể định nghĩa tương đương 2 khả năng sau: Name :: Name = compose Name of end Lưu ý: ký hiệu :: thường được sử dụng hơn so với compose 4/5/2019 . Vũ Thanh Nguyên 5 Đặc tả kiểu đối tượng phức Ví dụ: xác đinh kiẻu dữ liệu Datec Datec :: day : {1, ,366} year : N hoặc Datec = compose Datec of day : {1, ,366} year : N end 4/5/2019 . Vũ Thanh Nguyên 6 Đặc tả kiểu đối tượng phức Ví dụ: xác đinh kiẻu dữ

• 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
• Kiểu đối tượng phức
• Ràng buộc trên kiểu dữ liệu
• Khởi tạo đối tượng phức
• Đặ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
• 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 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 đồ