English
Related papers

Related papers: Long-Term Average Cost in Featured Transition Syst…

200 papers

A featured transition system is a transition system in which the transitions are annotated with feature expressions: Boolean expressions on a finite number of given features. Depending on its feature expression, each individual transition…

Formal Languages and Automata Theory · Computer Science 2017-02-28 Uli Fahrenberg , Axel Legay

Existing economic models support the estimation of the costs and benefits of developing and evolving a Software Product Line (SPL) as compared to undertaking traditional software development approaches. In addition, Feature Diagrams (FDs)…

Software Engineering · Computer Science 2009-12-03 David Fernandez-Amoros , Ruben Heradio , Jose Antonio Cerrada

A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A software product line encompasses \emph{many} software product…

Programming Languages · Computer Science 2020-10-05 Ramy Shahin , Marsha Chechik

Software Product Line Engineering has attracted attention in the last two decades due to its promising capabilities to reduce costs and time to market through reuse of requirements and components. In practice, developing system level…

Software Engineering · Computer Science 2020-01-08 Mole Li , Alan Grigg , Charles Dickerson , Lin Guan , Siyuan Ji

Context: Software metrics, as one form of static analyses, is a commonly used approach in software engineering in order to understand the state of a software system, in particular to identify potential areas prone to defects. Family-based…

Software Engineering · Computer Science 2021-10-13 Sascha El-Sharkawy , Adam Krafczyk , Klaus Schmid

Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing…

Software Engineering · Computer Science 2017-10-24 Xavier Devroey , Maxime Cordy , Gilles Perrouin , Pierre-Yves Schobbens , Axel Legay , Patrick Heymans

Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL vary from each other in terms of which features they include.…

Software Engineering · Computer Science 2021-05-04 Ramy Shahin , Sahar Kokaly , Marsha Chechik

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish…

Software Engineering · Computer Science 2013-12-31 Clemens Dubslaff , Sascha Klüppelholz , Christel Baier

Family-based (lifted) data-flow analysis for Software Product Lines (SPLs) is capable of analyzing all valid products (variants) without generating any of them explicitly. It takes as input only the common code base, which encodes all…

Programming Languages · Computer Science 2015-03-17 Aleksandar S. Dimovski , Claus Brabrand , Andrzej Wąsowski

A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement, represents a design decision and configuration option and, when added to a program, involves the…

Software Engineering · Computer Science 2010-01-21 Sven Apel , Christian Kaestner , Armin Groesslinger , Christian Lengauer

For companies producing related products, a Software Product Line (SPL) is a software reuse method that improves time-to-market and software quality, achieving substantial cost reductions.These benefits do not come for free. It often takes…

Software Engineering · Computer Science 2023-07-21 Leandro O. Souza , Earl T. Barr , Justyna Petke , Eduardo S. Almeida , Paulo Anselmo M. S. Neto

Software cost estimation is one of the prerequisite managerial activities carried out at the software development initiation stages and also repeated throughout the whole software life-cycle so that amendments to the total cost are made. In…

Software Engineering · Computer Science 2023-12-21 Efi Papatheocharous , Harris Papadopoulos , Andreas S. Andreou

In modern computing environments, users may have multiple systems accessible to them such as local clusters, private clouds, or public clouds. This abundance of choices makes it difficult for users to select the system and configuration for…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-05 Amir Nassereldine , Safaa Diab , Mohammed Baydoun , Kenneth Leach , Maxim Alt , Dejan Milojicic , Izzat El Hajj

A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and…

Software Engineering · Computer Science 2015-03-19 Sven Apel , Hendrik Speidel , Philipp Wendler , Alexander von Rhein , Dirk Beyer

A Software Product Line (SPL) aims at applying a pre-planned systematic reuse of large-grained software artifacts to increase the software productivity and reduce the development cost. The idea of SPL is to analyze the business domain of a…

Software Engineering · Computer Science 2016-06-02 Anas Shatnawi , Abdelhak Seriai , Houari Sahraoui

The number of studies focusing on onboarding in software organizations has increased significantly during the last years. However, current literature overlooks onboarding in Software Product Lines (SPLs). SPLs have been proven effective in…

Software Engineering · Computer Science 2021-04-13 Raul Medeiros

Reducing the cost and delay and improving quality are major issues for product and software development, especially in the automotive domain. Product line engineering is a wellknown approach to engineer systems with the aim to reduce costs…

Software Engineering · Computer Science 2023-11-01 Pascal Krapf , Sébastien Berthier , Nicole Levy

Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore…

Logic in Computer Science · Computer Science 2012-10-23 Sebastian S. Bauer , Uli Fahrenberg , Line Juhl , Kim G. Larsen , Axel Legay , Claus Thrane

A product line approach can save valuable resources by reusing artifacts. Especially for software artifacts, the reuse of existing components is highly desirable. In recent literature, the creation of software product lines is mainly…

Software Engineering · Computer Science 2014-09-24 Christian Berger , Holger Rendel , Bernhard Rumpe

Traditional algorithm analysis treats all basic operations as equally costly, which hides significant differences in time, energy consumption, and cost between different types of computations on modern processors. We propose a…

Performance · Computer Science 2025-08-20 Sergii Kavun
‹ Prev 1 2 3 10 Next ›