The Tetris case study has illustrat

The Tetris case study has illustrated the use of the major object-oriented con- structs of Object-Z. Classes were used to model the playing screen and blocks of the game. Inheritance enabled these classes to be incrementally constructed from a common grid class. Objects of the screen and block classes were used to specify the Tetris game. Polymorphism was exploited to model the falling block as one of a number of different types of blocks.
The remainder of this book provides a complete description of the Object-Z language. It will enable you to confidently construct similar Object-Z specifi- cations and also specifications of much greater complexity. It is intended as a reference manual to keep by your side as you use and learn to use Object-Z.

Kết quả (Việt) 1:

Nghiên cứu trường hợp của Tetris có minh họa việc sử dụng của người lớn theo định hướng đối tượng côn-structs của đối tượng-Z. Các lớp học đã được sử dụng để mô hình chơi màn hình và các khối của các trò chơi. Kế thừa cho phép các lớp học sẽ từng bước được xây dựng từ một lớp lưới thông thường. Các đối tượng của màn hình và chặn các lớp học đã được sử dụng để xác định các trò chơi Tetris. Đa hình khai thác mô hình khối rơi là một trong một số loại khác nhau của các khối.Phần còn lại của cuốn sách này cung cấp một mô tả đầy đủ của ngôn ngữ đối tượng-Z. Nó sẽ cho phép bạn tự tin xây dựng tương tự như đối tượng-Z quí-cation và cũng có thể thông số kỹ thuật phức tạp lớn hơn rất nhiều. Nó được thiết kế như là một tài liệu tham khảo hướng dẫn sử dụng để giữ ở bên cạnh bạn khi bạn sử dụng và học cách sử dụng các đối tượng-Z.

Kết quả (Việt) 2:

Nghiên cứu trường hợp Tetris đã minh họa việc sử dụng các cấu trúc niệm hướng đối tượng chính của Object-Z. Lớp học đã được sử dụng để mô hình màn hình chơi và khối của trò chơi. Thừa kế cho phép các lớp được từng bước xây dựng từ một lớp lưới chung. Đối tượng của lớp màn hình và khối đã được sử dụng để xác định các trò chơi Tetris. Đa hình đã được khai thác để mô hình các khối rơi xuống như là một trong một số loại khác nhau của các khối.
Phần còn lại của cuốn sách này cung cấp một mô tả đầy đủ của ngôn ngữ Object-Z. Nó sẽ cho phép bạn có thể tự tin xây dựng Object-Z cation cầu kỹ thuật tương tự và cũng tiết kỹ thuật phức tạp hơn nhiều. Nó được thiết kế như một hướng dẫn tham khảo để giữ ở bên cạnh bạn khi bạn sử dụng và học cách sử dụng Object-Z.