946 search results - page 80 / 190 » Software engineering for security: a roadmap |
EUROSPI
2005
Springer
15 years 3 months ago
2005
Springer
Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
ARCS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
110
click to vote
COMPSAC
2009
IEEE
14 years 7 months ago
2009
IEEE
Click based graphical passwords that use background images suffer from hot-spot problem. Previous graphical password schemes based on recognition of images do not have a sufficient...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...