OpenJML: JML for Java 7 by Extending OpenJDK.

Published in: NASA Formal Methods (2011)

Keyphrases

java programs
object oriented
programming language
open source
web services
source code
web applications
software development
database applications
development environment
distributed systems
java language
object oriented languages
java virtual machine
lightweight
data mining
evolutionary algorithm
metadata