15885 search results - page 2471 / 3177 » The Modest Software Engineer |
181
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
174
click to vote
PPPJ
2006
ACM
16 years 1 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
194
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
229
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
224
click to vote
PASTE
2005
ACM
16 years 29 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...