1926 search results - page 35 / 386 » Modeling and Model Checking Software Product Lines |
158
click to vote
OWLED
2008
15 years 6 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
126
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
164
click to vote
SPLC
2007
15 years 6 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...
153
click to vote
SPLC
2010
15 years 6 months ago
2010
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
142
click to vote
ICITA
2005
IEEE
15 years 10 months ago
2005
IEEE
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...