2698 search results - page 173 / 540 » Software Process Model Blueprints |
131
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
109
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
104
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
112
click to vote
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
CACM
2006
15 years 2 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...