6197 search results - page 215 / 1240 » Sandbridge Software Tools |
142
Voted
ECSA
2007
Springer
15 years 8 months ago
2007
Springer
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
145
Voted
XPU
2007
Springer
15 years 8 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
131
click to vote
ICCBR
1999
Springer
15 years 6 months ago
1999
Springer
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse...
134
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
119
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...