Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts.

Sherri M. Sanders, Cui Zhang

Browse the full SEKE paper archive.