493 search results - page 23 / 99 » An Analysis of Tool-Based Research in Software Engineering |
DRM
2004
Springer
15 years 3 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oc´e, one of the world’s leading copier manufacturer...
102
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...