Incremental Invariant Generation for Compositional Design.

Saddek Bensalem Axel Legay Thanh-Hung Nguyen Joseph Sifakis Rongjie Yan

Published in: TASE (2010)

Keyphrases

case study
databases
data driven
building blocks
design process
data sets
decision making
incremental learning
design principles
design methodology
real time
information systems
clustering algorithm
user interface
optimal design