A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java.

Published in: Softwaretechnik-Trends (2000)

Keyphrases

programming language
lightweight
data sets
computer programs
databases
probabilistic model
open source
theoretical framework
database applications
conceptual model
constrained optimization
development environment
java programs