2342 search results - page 130 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
123
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
119
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
134
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
173
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
142
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...