A formal language for the design of manufacturable objects.

Kenneth N. Brown Chris A. McMahon J. H. Sims Williams

Published in: Formal Design Methods for CAD (1994)

Keyphrases

formal language
design process
formal semantics
databases
natural language
prior knowledge
semi supervised