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]
@inproceedings{RamkarthikZ06,
title = {Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z},
author = {Sowmiya Ramkarthik and Cui Zhang},
year = {2006},
doi = {10.1109/ICIS-COMSAR.2006.41},
url = {http://doi.ieeecomputersociety.org/10.1109/ICIS-COMSAR.2006.41},
researchr = {https://researchr.org/publication/RamkarthikZ06},
cites = {0},
citedby = {0},
pages = {405-411},
booktitle = {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},
publisher = {IEEE},
isbn = {0-7695-2613-6},
}