Z to Java

Stephen Murrell and Robert Plant

The commercial demand to create industrial-strength heterogeneous systems on a networked platform for mission critical systems requires that a formal development approach be taken. We describe an initial attempt at creating Java programs from Z specifications.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.