Login / Signup
An overview of JML tools and applications.
Lilian Burdy
Yoonsik Cheon
David R. Cok
Michael D. Ernst
Joseph R. Kiniry
Gary T. Leavens
K. Rustan M. Leino
Erik Poll
Published in:
Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
</>
building blocks
software tools
topics covered include
data sets
machine learning
web pages
e learning
multiscale
multi agent
open source
decision support
user friendly
design decisions
future trends