A Formal Model for Parameterized Solids in a Visual Design Language.

Philip T. Cox Trevor J. Smedley

Published in: J. Vis. Lang. Comput. (2000)

Keyphrases

formal model
predicate calculus
high level
design process
formal models
low level
modeling language
artificial intelligence
natural language
user interface
programming language
language learning
security properties