4752 search results - page 218 / 951 » Dependability in Web Software |
149
click to vote
IESS
2007
Springer
16 years 19 days ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
133
click to vote
PROFES
2007
Springer
16 years 18 days ago
2007
Springer
We present the application of the process workshop method to define revised work processes in software development companies. Through two empirical action research studies, we stud...
159
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
171
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
178
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...