1926 search results - page 138 / 386 » Modeling and Model Checking Software Product Lines |
136
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents a quantitative human performance model of making single-stroke pen gestures within certain error constraints in terms of production time. Computed from the pro...
170
click to vote
ISPW
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
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...
178
click to vote
TCCI
2010
15 years 4 months ago
2010
According to transaction cost economics, contracts are always incomplete and offer opportunities to defect. Some level of trust is a sine qua non for trade. If the seller is better...
189
click to vote
SPIN
2009
Springer
16 years 27 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...