2250 search results - page 68 / 450 » Interactive Explanation of Software Systems |
AVI
2006
13 years 11 months ago
2006
Designers and architects regularly use piles to organize visual artifacts. Recent efforts have now made it possible for users to create piles in digital systems as well. However, ...
UIST
2009
ACM
14 years 4 months ago
2009
ACM
Interaction with large unstructured datasets is difficult because existing approaches, such as keyword search, are not always suited to describing concepts corresponding to the di...
XPU
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
CAV
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...