Software Product Line models
Using Composite Feature Models to Support Agile Software Product Line Evolution
... other software in order to strengthen its empirical valida- ...different models is challenging with- out support from the semantics ...feature models may restrict the set of available ...
7
Tracing Imperfectly Modular Variability in Software Product Line Implementation
... consistency between the abstractions of vp-s and variants with the core-code assets themselves. Although we used the DSL successfully in a real feature-rich system, we plan to extend this framework in supporting the ...
9
Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital Signage Systems
... feature models are authorized both for internal and external developers, and dedicated tools have been developed to support ...a product created by another (this includes adding new ...
9
Formalising the requirements of an e-voting software product line using event-B
... Keywords-Software Product Lines, Feature Model Configura- tion, Formal Modelling, Event-B, E-Voting ...A Software Product Line (SPL) is [1]:“. . . a set of software- intensive ...
8
A DSL-based Approach to Product Derivation for Software Product Lin
... Keywords: Product derivation, Software product line, Domain specific language, Model-driven ...A software product line (SPL) is as a set of software-intensive ...
6
Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development
... and product-line technology for the avionics software of NH90 military helicopter at ...certifiable software development for an FMS, using model-based software product ...
93
A Generic Approach for Automated Verification of Product Line Models
... need, product line engineering arises as a new reuse-driven development paradigm that permits the management of reusable ...a product line is defined as a group of similar applications within ...
243
A model driven approach to derive e-learning applications in software product line
... exists. Software Product Line (SPL) has as goal the effective production of similar software ...on product derivation compared to the large work on developing product ...a ...
7
Software product line for semantic specification of block libraries in dataflow languages
... been done on their formal analysis and use. A comprehensive overview is given in [7]. Basic Fea- ture Models (FM) contain features, a set of basic relations (mandatory, optional, alternative) and cross-tree ...
11
Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
... and product- line model ...TACAS software verification competition [6], UFO [1], LLBMC [25], CPAChecker [7], and ESBMC [34] were nomi- nated the fastest model checkers for product ...the ...
14
Towards a Software Product Line for Machine Learning Workflows: Focus on Supporting Evolution
... As we want even non-expert users to be able to get the appropriate algorithm for their need, we chose to express higher level goals such as best accuracy or quickest execution time in the FM. This representation allows ...
7
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models
... of Software- intensive Systems (VaMoS), Essen, Germany, January ...Building Software Product Lines with Eclipse”, International Conference on Object-Oriented Programming, Systems, Languages, and ...
5
Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models
... References [1] P. Clements and L. M. Northrop. Software Product Lines - Practices and Patterns. Addison-Wesley, 2001. [2] Salinesi, C., Mazo, R., Diaz, D., Djebbi, O. Solving Integer Constraint in Reuse ...
3
„Software Product Lines Composition through Partial Derivation “
... SPLs models: Morin et ...aspects models with variability into existing ...requirement models using a set of ...multi product line environments, by making the internal technical aspects ...
12
Modelling an e-voting domain for the formal development of a Software Product Line
... a Software Product Line: when the implicit should be made explicit J Paul Gibson and Jean-Luc Raffy Abstract There has been much recent interest in the development of electronic vot- ing (e-voting) ...
17
Identifying dead features and their causes in product line models: an ontological approach
... A product line is a family of related products distinguished by different sets of features that each product provides ...of product line is the software product ...
11
A Brief Survey on Product Derivation Methods in Software Product Line
... variability models accessible to "non-technicians" such as sales people or customers to fully exploit the benefits of ...prepare product configuration by creating the derivation ...actual ...
12
Constraints: the Core of Product Line Engineering
... Abstract— Product line engineering is a reuse-driven development paradigm based on the management of variability, which was successfully applied in information systems engineering and other ...variability ...
11
Product Line Configurations guided by Process Traces
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
2
Measuring Behaviour Interactions between Product-Line Features
... Measuring the degree to which features interact in FOSD will be a useful addition to the developer’s tool box, allowing her to determine how much integration of a feature affects the overall product line. ...
5