Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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 - PGS.TS. 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 PGS.TS. Vũ Thanh Nguyên 4/5/2019 PGS.TS. Vũ Thanh Nguyên 1 CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 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 CuuDuongThanCong.com PGS.TS. Vũ Thanh Nguyên https://fb.com/tailieudientucntt 6 Đặc tả kiểu đối tượng phức Ví dụ: xác đinh kiẻu dữ
