553 search results - page 28 / 111 » An examination of software engineering work practices |
216
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
128
Voted
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
SERP
2004
15 years 2 months ago
2004
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
124
click to vote
COMPSAC
1997
IEEE
15 years 5 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
By now it is common knowledge that it’s just as easy for a team to fail using agile practices as it is with waterfall or any other method for building software. So what is the s...