Learning Design Guidelines by Theory Refinement

We add adaptation to an existing piece of automatic design software: the TIMM module of the MOBI-D user- interface design environment. MOBI-D maintains explicit, formal representations of the abstract and concrete sides of the interface. TIMM automates the mappings between the abstract domain objects and concrete presentation elements, using a decision tree.