7139 search results - page 441 / 1428 » Language Engineering in Practice |
188
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Code reviews have proven to be an effective means of improving overall software quality. During the review, there is an exchange of knowledge between the code author and reviewer ...
202
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
169
click to vote
AGILEDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Companies today are attempting to lower costs and increase their staffing flexibility by taking some [or even all] of their development activities overseas. Simultaneously, many o...
198
click to vote
AGILEDC
2007
IEEE
16 years 2 months ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
178
click to vote
AGILEDC
2007
IEEE
16 years 2 months ago
2007
IEEE
Conventional thinking would conclude that agile and ISO must not be compatible. After all, ISO is often characterized as being heavy on process / heavy on documentation – the op...