tailieunhanh - 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. 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 6 Kiểu đối tượng phức . Vũ Thanh Nguyên 4 5 2019 . Vũ Thanh Nguyên 1 https 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 . Vũ Thanh Nguyên https 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 . Vũ Thanh Nguyên https 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 . Vũ Thanh Nguyên https 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 . Vũ Thanh Nguyên https 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 . Vũ Thanh Nguyên https tailieudientucntt 6 Đặc tả kiểu đối tượng phức Ví dụ xác đinh kiẻu dữ liệu Fahrenheit và Celsius Fahrenheit compose Fahrenheit of v R end hay Celsius compose Celsius of v R end 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 7 Đặc tả kiểu đối tượng phức Ví dụ Phân-số tử-số ℤ mẫu-số ℤ hoặc Phân-số compose Phân-số