An animation approach to develop C++ code from Object-Z specifications


Object-Z is an extension of Z which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to map Object-Z to various object-oriented languages. However, the given mapping rules do not cover some Object-Z specification constructs, such as class union… (More)


4 Figures and Tables