15777 search results - page 2493 / 3156 » Software Engineering |
240
click to vote
AADEBUG
2005
Springer
16 years 22 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
212
click to vote
ISSTA
2004
ACM
16 years 18 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
225
click to vote
IUI
2004
ACM
16 years 18 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
226
click to vote
EDBTW
2004
Springer
16 years 17 days ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
201
click to vote
AGILEDC
2003
IEEE
16 years 14 days ago
2003
IEEE
One of the myths of Agile Development is that selforganizing teams do not need direction. The agile development movement focuses primarily on programmers – programmers should do...