Bidirectional Translation between OCL and JML for Round-Trip Engineering
Keyword(s):
2014 ◽
Vol E97.B
(10)
◽
pp. 2145-2156