Tags: Programming Language.
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland Australia.Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm most notably classes.
Loading...
This page contains content from the copyrighted Wikipedia article "Object-Z"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.