Sowmiya Ramkarthik, Cui Zhang. Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. In 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, Software Architecture and Reuse (COMSAR 2006), 10-12 July 2006, Honolulu, Hawaii, USA. pages 405-411, IEEE, 2006. [doi]
Abstract is missing.