6187 search results - page 40 / 1238 » Practical Software Measurement |
118
Voted
CAINE
2006
15 years 4 months ago
2006
There is a tendency to overlook or play down software issues in industrial systems design. However the very best hardware will only be as effective as the programs that control it...
120
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
152
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
145
click to vote
VEE
2006
ACM
15 years 8 months ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
115
Voted
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...