Sketching and Modeling

Visualizations and automated reasoning approximate the agenda of modeling tools. Unlike offline sketches, models and representations in code can be reused and linked with the concepts they represent. However, modeling tools require the complete specification of models to work, and in order not to prevent other kinds of backtalk, a system informed by sketching should allow, but not require, complete modeling.