16725 search results - page 597 / 3345 » Engineering Software Correctness |
225
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
186
click to vote
IWPC
2003
IEEE
16 years 13 days ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
197
click to vote
XPU
2009
Springer
15 years 11 months ago
2009
Springer
Software Product Line Engineering (SPLE) promises to lower the costs of developing individual applications as they heavily reuse existing artifacts. Besides decreasing costs, softw...
185
click to vote
OOPSLA
2005
Springer
16 years 20 days ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
154
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...