Information AboutObject-z |
| CATEGORIES ABOUT OBJECT-Z | |
| z notation | |
| object-oriented programming | |
|
Object-Z extends Z by the addition of language constructs resembling the Object-oriented paradigm, most notably, Classes . Other object-oriented notions such as Polymorphism and Inheritance are also supported. While not as popular as its base language, Z, Object-Z has still received significant attention in the Formal Methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi. SEE ALSO EXTERNAL LINKS
|
|
|