3302 search results - page 212 / 661 » Software Is More Than Code |
140
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
153
Voted
DICS
2006
15 years 6 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
114
click to vote
DRM
2006
Springer
15 years 7 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
139
click to vote
ISESE
2002
IEEE
15 years 9 months ago
2002
IEEE
An important goal of most empirical software engineering research is the transfer of research results to industrial applications. Two important obstacles for this transfer are the...
131
click to vote
ECBS
2000
IEEE
15 years 8 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...