Login / Signup
SAVCBS 2006 challenge: specification of iterators.
Bruce W. Weide
Published in:
SAVCBS@FSE (2006)
Keyphrases
</>
high level
formal specification
real time
formal methods
model checking
query language
control structure
database
specification language
conceptual model
learning objects
relational databases
decision trees
website
multimedia
artificial intelligence
genetic algorithm