1268 search results - page 89 / 254 » High Impact Requirements Engineering |
179
click to vote
PAMI
2012
13 years 3 months ago
2012
Abstract—Given the size and confidence of pairwise local orderings, angular embedding (AE) finds a global ordering with a nearglobal optimal eigensolution. As a quadratic crite...
105
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Tracking the progress of a project is often done through imprecise manually gathered information, like progress reports, or through automatic metrics such as Lines Of Code (LOC). ...
ISESE
2002
IEEE
15 years 6 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...
132
click to vote
QOSA
2010
Springer
15 years 4 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
147
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...