5252 search results - page 363 / 1051 » Requirements engineering: a roadmap |
178
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
191
click to vote
SADFE
2009
IEEE
16 years 1 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
188
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Code clone management has been shown to have several benefits for software developers. When source code evolves, clone management requires a mechanism to efficiently and increme...
155
click to vote
XPU
2009
Springer
16 years 1 months ago
2009
Springer
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
175
click to vote
XPU
2009
Springer
16 years 1 months ago
2009
Springer
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...