2342 search results - page 197 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
131
click to vote
COR
2010
15 years 4 months ago
2010
The purpose of this paper is to apply the scatter search methodology to general classes of binary problems. We focus on optimization problems for which the solutions are represent...
137
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
136
click to vote
QSIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Users and providers of an information system should clearly understand the threats caused by the system as well as clarify the requirements for the system before they use the syst...
148
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
118
click to vote
ISPW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...