OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse.
David R. CokPublished in: F-IDE (2014)
Keyphrases
- source code
- open source
- open source software
- development environments
- lightweight
- cross platform
- development environment
- software systems
- programming language
- object oriented
- software projects
- application server
- case study
- java language
- open source projects
- java programming
- byte code
- web applications
- database systems
- database applications
- databases
- end users
- high level
- web services
- information systems
- artificial intelligence
- data mining
- real world