Automated translation of VDM to JML-annotated Java.

Peter W. V. Tran-Jørgensen Peter Gorm Larsen Gary T. Leavens

Published in: Int. J. Softw. Tools Technol. Transf. (2018)

Keyphrases

programming language
cross language information retrieval
semi automated
open source
source code
web applications
machine translation
data sets
software engineering
lightweight
semi automatic
manually annotated
java programs
byte code
java applets
object oriented languages
web services