1938 search results - page 131 / 388 » Dependable Software |
117
Voted
ESSOS
2010
Springer
16 years 17 days ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
127
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
116
click to vote
QOSA
2009
Springer
15 years 10 months ago
2009
Springer
L.L.Bean is a large retail organization whose development processes must be agile in order to allow rapid enhancement and maintenance of its technology infrastructure. Over the pas...
126
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures...
123
Voted
MSR
2006
ACM
15 years 9 months ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...