Specification techniques.

Lawrence Robinson

Published in: DAC (1976)

Keyphrases

formal specification
data mining
conceptual model
provably correct
case study
three dimensional
high level
image sequences
natural language
evolutionary algorithm
xml documents
tool suite