Sciweavers

789 search results - page 56 / 158
» Measurement Programs in Software Development: Determinants o...
Sort
View
109
Voted
SIGSOFT
2003
ACM
15 years 9 months ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
118
Voted
IWPC
2005
IEEE
15 years 9 months ago
Adding Control-Flow to a Visual Data-Flow Representation
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...
David Dearman, Anthony Cox, Maryanne Fisher
127
Voted
SIGCPR
2003
ACM
183views Hardware» more  SIGCPR 2003»
15 years 9 months ago
ERP training strategies: conceptual training and the formation of accurate mental models
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
Tony Coulson, Conrad Shayo, Lorne Olfman, C. E. Ta...
116
Voted
IWPC
2009
IEEE
15 years 10 months ago
Reading the documentation of invoked API functions in program comprehension
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
Uri Dekel, James D. Herbsleb
IJMMS
2000
76views more  IJMMS 2000»
15 years 3 months ago
On the notion of interestingness in automated mathematical discovery
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
Simon Colton, Alan Bundy, Toby Walsh