4438 search results - page 172 / 888 » The Case for Collaborative Programming |
187
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
283
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
193
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
152
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
179
click to vote
TSE
2002
15 years 6 months ago
2002
Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The Delta Debugging algorithm generalizes and simplifies som...