Specifying java iterators with JML and Esc/Java2.

Published in: SAVCBS@FSE (2006)

Keyphrases

java programs
lightweight
open source
object oriented
source code
programming language
data sets
java applets
database applications
development environment
cross platform
object oriented languages
database
image sequences
case study
website
real world
multi threaded
real time
java virtual machine
java language