@inproceedings{ICEIS-v2-2012-HanadaOKM,
	author        = "Kentaro Hanada and Kozo Okano and Shinji Kusumoto and Kiyoyuki Miyazawa",
	booktitle     = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2}",
	isbn          = "978-989-8565-11-2",
	pages         = "389--394",
	publisher     = "{SciTePress}",
	title         = "{Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation}",
	year          = 2012,
}