We present CodeSaw, a social visualization of distributed software development. CodeSaw visualizes a distributed software community from two important and independent perspectives:...
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...