Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation

ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 201