A Formal Approach to Design-Rule Checking.

Hossein Modarres Ronald J. Lomax

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1987)

Keyphrases

user interface
real time
design decisions
case study
design process
databases
engineering design
conceptual framework
design principles
expert systems
software engineering
multiscale
user experience
database systems
decision trees
image processing
real world
optimal design
formal methods