Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it... This description may be from another edition of this product.
Related Subjects
Computer Science Computers Computers & Technology Education & Reference Languages & Tools Mathematics Methodology Microprocessors & System Design Object-Oriented Design Object-Oriented Software Design Programming Programming Languages Science & Math Software Software Design & Engineering Software Design, Testing & Engineering Software Development Software Engineering