The primary objective of document annotation in whatever form, manual or electronic is to allow those who may not have control to original document to provide personal view on inf...
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Inspired by Hill and Hollan’s original work [6], we have been developing a theory of interaction history and building tools to apply this theory to navigation in a complex infor...
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
Clare J. Hooper, Les Carr, Hugh C. Davis, David E....