1050 search results - page 25 / 210 » Towards programming for the non-technical |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Regression testing aims at showing that code has not been adversely affected by modification activities during maintenance. Regression test selection techniques reuse tests from...
IWFM
2003
13 years 10 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
COCO
2005
Springer
14 years 2 months ago
2005
Springer
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
CHI
2007
ACM
14 years 18 days ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
GG
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...