The Dangerous 'All' in Specifications.

Daniel M. Berry Erik Kamsties

Published in: IWSSD (2000)

Keyphrases

high level
formal specification
delay insensitive
real time
database
relational databases
knowledge base
decision trees
search algorithm
preprocessing
information technology
data model
transition systems