Scheduled System Maintenance on December 17th, 2014:
IEEE Xplore will be upgraded between 2:00 and 5:00 PM EST (18:00 - 21:00) UTC. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

A mapping system from Object-Z to C++

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Fukagawa, M. ; Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan ; Hikita, T. ; Yamazaki, H.

Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming language C++, and reports on its implementation on Unix. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data members and prototypes of member functions. Thus it is not intended as a code generation system, but rather as a tool for analyzing specification (including syntax and type checking) and for aiding a software developer in obtaining code. Through the implementation of the mapping system several language features of Object-Z and C++ concerning object-orientation are clarified

Published in:

Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific

Date of Conference:

7-9 Dec 1994