Generating Python Code from Object-Z Specifications
Published in Zenodo (CERN European Organization for Nuclear Research) • Sep 3, 2021
Authors:,,
A.F. Al Azzawi
Mohamed Bettaz
Hasan 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!