3706 search results - page 485 / 742 » The Transformational Approach to Program Development |
160
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
178
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
173
click to vote
DM
2006
15 years 5 months ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
161
click to vote
JAIR
2007
15 years 4 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
140
Voted
AOSD
2006
ACM
15 years 11 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...