Test-Based Specifications of Components and Systems.

Published in: QSIC (2007)

Keyphrases

building blocks
software components
finite state machines
reactive systems
real time
data sets
neural network
bayesian networks
digital libraries
data model
management system