Formal Design Constraints.

Nils Klarlund Jari Koistinen Michael I. Schwartzbach

Published in: OOPSLA (1996)

Keyphrases

search engine
design patterns
real time
neural network
social networks
data structure
user interface
evolutionary algorithm
computer aided
constraint programming
engineering design
design methodology
formal methods