Software product line engineering and variability management: achievements and challenges

A Metzger, K Pohl - Future of software engineering proceedings, 2014 - dl.acm.org
Software product line engineering has proven to empower organizations to develop a
diversity of similar software-intensive systems (applications) at lower cost, in shorter time …

Feature interaction in software product line engineering: A systematic mapping study

LR Soares, PY Schobbens… - Information and …, 2018 - Elsevier
Context: Software product lines (SPL) engineering defines a set of systems that share
common features and artifacts to achieve high productivity, quality, market agility, low time to …

ProVeLines: a product line of verifiers for software product lines

M Cordy, A Classen, P Heymans… - Proceedings of the 17th …, 2013 - dl.acm.org
Software Product Lines (SPLs) are families of similar software products built from a common
set of features. As the number of products of an SPL is potentially exponential in the number …

Clafer: Lightweight modeling of structure, behaviour, and variability

P Juodisius, A Sarkar, RR Mukkamala… - arXiv preprint arXiv …, 2018 - arxiv.org
Embedded software is growing fast in size and complexity, leading to intimate mixture of
complex architectures and complex control. Consequently, software specification requires …

Feature dependencies in automotive software systems: Extent, awareness, and refactoring

A Vogelsang - Journal of Systems and Software, 2020 - Elsevier
Many automotive companies consider their software development process to be feature-
oriented. In the past, features were regarded as isolated system parts developed and tested …

Modelling mobile app requirements for semantic traceability

RA Buchmann, D Karagiannis - Requirements Engineering, 2017 - Springer
The paper presents a modelling method aimed to support the definition and elicitation of
requirements for mobile apps through an approach that enables semantic traceability for the …

Extraction of system states from natural language requirements

F Pudlitz, F Brokhausen… - 2019 IEEE 27th …, 2019 - ieeexplore.ieee.org
In recent years, simulations have proven to be an important means to verify the behavior of
complex software systems. The different states of a system are monitored in the simulations …

FPGA and GPU implementation of large scale SpMV

Y Shan, T Wu, Y Wang, B Wang, Z Wang… - 2010 IEEE 8th …, 2010 - ieeexplore.ieee.org
Sparse matrix-vector multiplication (SpMV) is a fundamental operation for many
applications. Many studies have been done to implement the SpMV on different platforms …

Symbolic model checking of product-line requirements using sat-based methods

S Ben-David, B Sterin, JM Atlee… - 2015 IEEE/ACM 37th …, 2015 - ieeexplore.ieee.org
Product line (PL) engineering promotes the development of families of related products,
where individual products are differentiated by which optional features they include …

Incrementally synthesizing controllers from scenario-based product line specifications

J Greenyer, C Brenner, M Cordy, P Heymans… - Proceedings of the …, 2013 - dl.acm.org
Many software-intensive systems consist of components that interact to fulfill complex
functionality. Moreover, often many variants of such systems have to be designed at once …