Generating Python Code from Object-Z Specifications
Published in Zenodo (CERN European Organization for Nuclear Research) • Sep 3, 2021
NobleIDNI1P76W64R93S07
Authors:,,
A.F. Al Azzawi
M. Bettaz
H. M. Al-Refai
Abstract
Object-Z is an object-oriented specification language which extends the Z language with classes, objects, inheritance and polymorphism that can be used to represent the specification of a complex system as collections of objects. There are a number of existing works that mapped Object-Z to C++ and J...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!