15885 search results - page 2472 / 3177 » Strategic Software Engineering |
199
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...
235
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...
227
click to vote
PASTE
2005
ACM
16 years 1 months 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...
249
click to vote
AADEBUG
2005
Springer
16 years 1 months ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
210
click to vote
XPU
2005
Springer
16 years 1 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...