Sciweavers

SIGSOFT
2010
ACM
13 years 2 months ago
Creating and evolving developer documentation: understanding the decisions of open source contributors
Developer documentation helps developers learn frameworks and libraries. To better understand how documentation in open source projects is created and maintained, we performed a q...
Barthélémy Dagenais, Martin P. Robil...
SIGDOC
2003
ACM
13 years 9 months ago
Hands-free documentation
In this paper, we introduce an analysis of the requirements and design choices for hands-free documentation. Hands-busy tasks such as cooking or car repair may require substantial...
Karen Ward, David G. Novick
SIGDOC
2004
ACM
13 years 9 months ago
Assessing effectiveness of personality style in documentation
This paper extends previous work by other researchers that indicated that users of computers preferred a computer with a personality that was similar to theirs. We conducted a sim...
Kenneth Sayles, David G. Novick
SIGDOC
2009
ACM
13 years 10 months ago
The micro-structure of use of help
To see whether, from the user’s standpoint, muddling through with trial-and-error exploration of the interface actually works as well as consulting help, we analyzed video recor...
David G. Novick, Oscar D. Andrade, Nathaniel Bean
SC
2009
ACM
13 years 11 months ago
Pipeline-centric provenance model
In this paper we propose a new provenance model which is tailored to a class of workflow-based applications. We motivate the approach with use cases from the astronomy community. ...
Paul T. Groth, Ewa Deelman, Gideon Juve, Gaurang M...
POPL
2006
ACM
14 years 4 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...