Z++ (pronounced zed, or zee in American pronunciation, plus plus) is an object-oriented extension to the Z specification language. Z++ allows for the definition of classes, and the relation of classes through inheritance, association, or aggregation.
Z++ (pronounced zed, or zee in American pronunciation, plus plus) is an object-oriented extension to the Z specification language. Z++ allows for the definition of classes, and the relation of classes through inheritance, association, or aggregation.
Source: Wikipedia "Z++" · CC BY-SA 4.0
Share this article: X · Bluesky