An approach to abstract specification based on traces.

Published in: COMPSAC (1979)

Keyphrases

high level
state machines
database
low level
specification language
data mining
social networks
image sequences
object oriented
conceptual model
knowledge level