JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.

Patrice Chalin Perry R. James George Karabotsos

Published in: VSTTE (2008)

Keyphrases

industrial applications
cross platform
source code
open source
real time
data sets
neural network
high level
development environment
technology transfer
database
genetic algorithm
search engine
web services
web applications