1926 search results - page 37 / 386 » Modeling and Model Checking Software Product Lines |
173
click to vote
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
140
Voted
SPLC
2004
15 years 6 months ago
2004
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
149
click to vote
SPLC
2010
15 years 6 months ago
2010
Abstract. In product line engineering various stakeholders like sales and marketing people, product managers, and technical writers are involved in creating and adapting documents ...
133
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...