5228 search results - page 294 / 1046 » Case Studies for Software Engineers |
159
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
186
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...
153
click to vote
EUROSPI
2006
Springer
15 years 10 months ago
2006
Springer
In an action research study, we describe the application of the scrum software development process in a small cross-organizational development project. The stakeholders in the proj...
204
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
190
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
The principle of information hiding has been very influential in software engineering since its inception in 1972. This principle prescribes that software modules hide implementat...