Proved-Patterns-Based Development for Structured Programs.

Dominique Cansell Dominique Méry

Published in: CSR (2007)

Keyphrases

software engineering
pattern mining
data mining
real time
high level
expert systems
programming environments
similar patterns
st century
answer sets
development process
sequential patterns
frequent patterns
structured data
knowledge based systems
information extraction
association rules
decision trees