1926 search results - page 13 / 386 » Modeling and Model Checking Software Product Lines |
SPLC
2008
14 years 11 months ago
2008
Ongoing research in Software Product Line Engineering (SPLE) emphasises the derivation of a concrete product based on a given variant configuration as one of the most promising ar...
RE
2008
Springer
14 years 9 months ago
2008
Springer
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic charac...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
MKWI
2008
14 years 11 months ago
2008
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...