An approach to guided incremental specification.

Thomas Gabler Sabine März-Rössel

Published in: EURO-DAC (1995)

Keyphrases

high level
incremental learning
data mining
provably correct
data sets
object oriented
medical images
data driven
formal verification
incremental clustering