Haut PDF Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
... Abstract—Software Product Line Engineering is a mature approach enabling the derivation of product variants by assem- bling reusable ...assets. In this context, domain experts widely ...
11
How to Exploit Domain Knowledge in Multiple Software Product Lines?
... inter-SPL constraints expressed as logical re- lations [1], [4], [5], ...Then constraints are usually expressed using low-level tooling of the SPL implementation instead of the business ...SPL ...
5
Towards statistical prioritization for software product lines testing
... concern in SPL modeling is how to represent vari- ...son in terms of features. Relations and constraints between features are usually represented in a Feature Diagram (FD) ...
9
Practical Pairwise Testing for Software Product Lines
... SPL feature diagram and ...the feature models into Alloy declarative programs, in order to select valid configurations, with respect to the initial model ...transformed in CNF form before it ...
10
Synthesis of Attributed Feature Models From Product Descriptions: Foundations
... is a tuple hV d , 0 d , < d i with V d a finite set of values, 0 d ∈ V d the null value of the domain and < d a partial order on V d ...When a feature is not selected, all its ...
39
A New Strategy for Feature Initialization in Visual SLAM
... presents a Visual EKF-SLAM process using an original and very efficient strategy for initializing ...with a large ...is a failure of the Visual SLAM process. We propose here a new ...
7
Traceability analyses between features and assets in software product lines
... random feature models with the number of features as 10, 50, 100, 500, 1000, 3000 , 5000, 10000, 15000 and ...20000. For each feature model, 100 SPL models were generated by changing it to 10 ...
33
Objective as a Feature for Robust Search Strategies
... adapted for optimization problems [17], the main idea being to consider objective-based solution density instead of a simple so- lution ...Also, in MIP, the objective is widely used in the ...
18
Feature in product engineering with single and variant design approaches. A comparative review
... understood in at least two different ...considered in successive designing phases. For instance, by knowing that an S-feature is developed to comply with a R-feature, the ...
9
Symbolic Model Checking of Software Product Lines
... algorithm for automata labeled with features. There are a number of differences between their approach and ...ours. A first difference is that their algorithms are not ...uses a non-standard ...
11
Using Transformation-Aspects in Model-Driven Software Product Lines
... Development, Software Product Lines, Vari- ability Management, Product Derivation, Fine-Grained ...improves software development by pro- viding constructs for the encapsulation ...
12
„Software Product Lines Composition through Partial Derivation “
... of a final application implies usually a single user working on the derivation of a single variability ...simultaneously for the various MPL sub- SPLs and this activity is known as distributed ...
12
Generating Counterexamples of Model-based Software Product Lines
... Abstract In a Model-based Software Product Line (MSPL), the variability of the domain is character- ized in a variability model and the core artifacts are base models conforming ...
18
Feature Model Differences
... Conclusion Feature models (FMs) are widely used to compactly represent the valid combi- nations of features ...by a given system. In several application domains and contexts ...(e.g., software ...
17
Metamodels and feature models : complementary approaches to formalize product comparison matrices
... of software that can process this informa- ...develop software that is generic enough to be easily adapted to new formats. A first challenge is thus to handle the heterogeneity of ...formats. ...
175
Usage Scenarios for a Common Feature Modeling Language
... CONCLUSION In this paper we contributed 14 usage scenarios for a simple and common feature-modeling language, to be finally established as a standard for feature ...tions ...
9
Composing Feature Models
... provide a catalog of sound FM refactorings, which has been verified in Alloy by automatically checking properties of resulting FMs ...further in this direction by providing mechanisms to implement ...
21
Feature Evaluation for Effective Bearing Prognostics.
... accelerations. In addition, the monitoring system includes one temperature probe (of type PT100) to record the temperature of the tested ...bearing. A speed sensor and a torque sensor are also ...
16
Handling Regulatory Goal Model Families as Software Product Lines
... φ a ) ∧ (s 2 = ¬(ψ f m ∧ φ a )) ...checked. For example, in ...on a path with the FM ...as constraints in the feature ...that a given path exists in ...
16
An mda based derivation process for software product lines
... shown in Figure 2. The requirements for the system are modeled in a computation independent model, CIM describing the situation in which the system will be used ...transformed in ...
7
