493 search results - page 18 / 99 » An Analysis of Tool-Based Research in Software Engineering |
ISSTA
2010
ACM
14 years 12 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
One of the main cost factors in software development is the detection and removal of defects. However, the relationships and influencing factors of the costs and revenues of defe...
100
click to vote
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...