4140 search results - page 641 / 828 » A Use Case Based Approach to Feature Models' Construction |
161
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
148
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
181
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
187
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
165
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...