Bidirectional Translation between OCL and JML for Round-Trip Engineering.

Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto

Browse the full APSEC paper archive.