1926 search results - page 221 / 386 » Modeling and Model Checking Software Product Lines |
163
click to vote
ENTCS
2010
15 years 4 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
114
click to vote
CACM
2006
15 years 4 months ago
2006
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
135
click to vote
CCE
2008
15 years 4 months ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
157
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
125
click to vote
FCS
2006
15 years 5 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...