Description of specification developments.

Jeanine Souquières Nicole Lévy

Published in: RE (1993)

Keyphrases

high level
data mining
artificial intelligence
hidden markov models
information systems
relational databases
paradigm shift
formal verification