Search

Your search keyword '"Software product line"' showing total 4,457 results
Start Over Descriptor "Software product line"

Refine your results

more »

more »

more »

more »

more »
4,457 results on '"Software product line"'

101. 基于场景元模型的软件产品线追踪方法.

Author

周琳 and 魏长江

Subjects
*SOFTWARE product line engineering, *ECONOMIC demand, *PRODUCT lines, *INFORMATION design, *COMPUTER software, *MATRICES (Mathematics)
Abstract

This paper studied methods for tracking software product lines, and based on demand analysis, design and realization of information transmission in the domain of software product line, it proposed a multi-layer software product line tracking model based on scenario metamodel, and described of the overall framework for tracking information changes completely. It established requirements-used case tracking matrix, used case-action tracking matrix and action-component tracking matrix. According to matrix operation, it described the implementation process of tracking, and used an A TM case to verify that the method has a good effect on requirements acquisition in software product line and difficulty in requirement change. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

102. Extending single- to multi-variant model transformations by trace-based propagation of variability annotations.

Author

Westfechtel, Bernhard and Greiner, Sandra

Subjects
*SOFTWARE engineers, *PRODUCT lines, *ANNOTATIONS, *DEFINITIONS
Abstract

Model-driven engineering involves the construction of models on different levels of abstraction. Software engineers are supported by model transformations, which automate the transition from high- to low-level models. Product line engineering denotes a systematic process that aims at developing different product variants from a set of reusable assets. When model-driven engineering is combined with product line engineering, engineers have to deal with multi-variant models. In annotative approaches to product line engineering, model elements are decorated with annotations, i.e., Boolean expressions that define the product variants in which model elements are to be included. In model-driven product line engineering, domain engineers require multi-variant transformations, which create multi-variant target models from multi-variant source models. We propose a reuse-based gray-box approach to realizing multi-variant model transformations. We assume that single-variant transformations already exist, which have been developed for model-driven engineering, without considering product lines. Furthermore, we assume that single-variant transformations create traces, which comprise the steps executed in order to derive target models from source models. Single-variant transformations are extended into multi-variant transformations by trace-based propagation: after executing a single-variant transformation, the resulting single-variant target model is enriched with annotations that are calculated with the help of the transformation's trace. This approach may be applied to single-variant transformations written in different languages and requires only access to the trace, not to the respective transformation definition. We also provide a correctness criterion for trace-based propagation, and a proof that this criterion is satisfied under the prerequisites of a formal computational model. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

103. FCA for software product line representation: Mixing configuration and feature relationships in a unique canonical representation.

Author

Carbonnel, Jessie, Bertet, Karell, Huchard, Marianne, and Nebut, Clémentine

Subjects
*SOFTWARE product line engineering, *PRODUCT lines, *SYSTEMS software
Abstract

Software Product Line Engineering (SPLE) is a set of methods to help build a collection of software systems which are similar enough to enable appropriate artefact reuse. An important task consists in documenting in variability models the common and variable features which may compose the similar software systems along with compatibility constraints between these features. Several models and formalisms have been proposed to model variability: each one of them has specific properties making it pertinent to support certain management operations, which are of primary importance in SPLE. Switching from one kind of variability model to another is thus important to benefit from a wide range of operations and efficiently manage a software product line. In this paper, we review the various approaches proposed to manage and organise features and product configurations (a product configuration being a chosen subset of features). We discuss the originality of concept lattices, canonical structures presenting a dual view on features and configurations, and the advantages to use these structures as variability representations. Switching from existing variability models to an equivalent concept lattice raises scaling issues related to the size of the needed input dataset and thus hinders their exploitation. We propose an alternative relying on implicative systems and define a transformation method which does not suffer from scaling issues. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

104. Feature Selection Optimization of HealthCare Software Product Line using BBO.

Author

Hitesh, Chhikara, Rita, and Kumari, A. Charan

Subjects
PRODUCT lines, METAHEURISTIC algorithms, COMPUTER software industry, COMPUTER software, GENETIC algorithms, FEATURE selection
Abstract

The Software Product Line (SPL) is the mandatory requirement of software industry as SPL minimizes the use of resources, reduces the cost of the system and maximizes the possibility of achieving the objective. The challenge with SPL is that it is exponential to number of features, hence there arises need to optimize the system. The metaheuristic algorithm provides this opportunity of optimize the SPL system. This paper presents BBO algorithm which is used for optimizing feature selection problem in SPL. Further, an empirical study against 10 features model has been done and compare results with Genetic Algorithm (GA).It is noticed that BBO provides best feature subsets for SPL. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

107. Requirements Prioritization Decision Rule Improvement for Software Product Line Evolution

Author

Inoki, Mari, Kitagawa, Takayuki, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Lee, Seok-Won, editor, and Nakatani, Takako, editor

Published
2016
Full Text
View/download PDF

108. Model Checking Feature Interactions

Author

Le Guilly, Thibaut, Olsen, Petur, Pedersen, Thomas, Ravn, Anders P., Skou, Arne, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Lorenz, Pascal, editor, Cardoso, Jorge, editor, Maciaszek, Leszek A., editor, and van Sinderen, Marten, editor

Published
2016
Full Text
View/download PDF

110. Systems of Partial Differential Equations in ExaSlang

Author

Schmitt, Christian, Kuckuk, Sebastian, Hannig, Frank, Teich, Jürgen, Köstler, Harald, Rüde, Ulrich, Lengauer, Christian, Barth, Timothy J., Series editor, Griebel, Michael, Series editor, Keyes, David E., Series editor, Nieminen, Risto M., Series editor, Roose, Dirk, Series editor, Schlick, Tamar, Series editor, Bungartz, Hans-Joachim, editor, Neumann, Philipp, editor, and Nagel, Wolfgang E., editor

Published
2016
Full Text
View/download PDF

112. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Author

Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

113. Software Variability Composition and Abstraction in Robot Control Systems

Author

Brugali, Davide, Valota, Mauro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gervasi, Osvaldo, editor, Murgante, Beniamino, editor, Misra, Sanjay, editor, Rocha, Ana Maria A.C., editor, Torre, Carmelo M., editor, Taniar, David, editor, Apduhan, Bernady O., editor, Stankova, Elena, editor, and Wang, Shangguang, editor

Published
2016
Full Text
View/download PDF

114. Supporting Variability Exploration and Resolution During Model Migration

Author

Di Ruscio, Davide, Etzlstorfer, Juergen, Iovino, Ludovico, Pierantonio, Alfonso, Schwinger, Wieland, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wąsowski, Andrzej, editor, and Lönn, Henrik, editor

Published
2016
Full Text
View/download PDF

115. Associations in MDE: A Concern-Oriented, Reusable Solution

Author

Bensoussan, Céline, Schöttle, Matthias, Kienzle, Jörg, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wąsowski, Andrzej, editor, and Lönn, Henrik, editor

Published
2016
Full Text
View/download PDF

116. Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems : (Extended Abstract)

Author

Agha, Gul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

117. Model Checking at Scale: Automated Air Traffic Control Design Space Exploration

Author

Gario, Marco, Cimatti, Alessandro, Mattarei, Cristian, Tonetta, Stefano, Rozier, Kristin Yvonne, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

118. A Tool Environment for Managing Families of Model Transformation Rules

Author

Strüber, Daniel, Schulz, Stefan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Echahed, Rachid, editor, and Minas, Mark, editor

Published
2016
Full Text
View/download PDF

119. Applying Incremental Model Slicing to Product-Line Regression Testing

Author

Lity, Sascha, Morbach, Thomas, Thüm, Thomas, Schaefer, Ina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kapitsaki, Georgia M., editor, and Santana de Almeida, Eduardo, editor

Published
2016
Full Text
View/download PDF

120. Feature Location in Model-Based Software Product Lines Through a Genetic Algorithm

Author

Font, Jaime, Arcega, Lorena, Haugen, Øystein, Cetina, Carlos, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kapitsaki, Georgia M., editor, and Santana de Almeida, Eduardo, editor

Published
2016
Full Text
View/download PDF

121. A Generalised Theory of Interface Automata, Component Compatibility and Error

Author

Fendrich, Sascha, Lüttgen, Gerald, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, and Huisman, Marieke, editor

Published
2016
Full Text
View/download PDF

122. On Type Checking Delta-Oriented Product Lines

Author

Damiani, Ferruccio, Lienhardt, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, and Huisman, Marieke, editor

Published
2016
Full Text
View/download PDF

123. Typed Connector Families

Author

Proença, José, Clarke, Dave, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Braga, Christiano, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

124. Finding Suitable Variability Abstractions for Family-Based Analysis

Author

Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, Andrzej, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fitzgerald, John, editor, Heitmeyer, Constance, editor, Gnesi, Stefania, editor, and Philippou, Anna, editor

Published
2016
Full Text
View/download PDF

125. Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking

Author

Damiani, Ferruccio, Lienhardt, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

126. Identifying Variability in Object-Oriented Code Using Model-Based Code Mining

Author

Wille, David, Tiede, Michael, Schulze, Sandro, Seidl, Christoph, Schaefer, Ina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

127. Variability-Based Design of Services for Smart Transportation Systems

Author

ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania, Semini, Laura, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

128. Introduction to the Track on Variability Modeling for Scalable Software Evolution

Author

Damiani, Ferruccio, Seidl, Christoph, Yu, Ingrid Chieh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

129. Towards Incremental Validation of Railway Systems

Author

Hähnle, Reiner, Muschevici, Radu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

130. Formal Methods and Safety Certification: Challenges in the Railways Domain

Author

Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

131. Correctness-by-Construction Deep Comprehension of Algorithm Families

Author

Cleophas, Loek, Kourie, Derrick G., Pieterse, Vreda, Schaefer, Ina, Watson, Bruce W., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

132. Statistical Model Checking for Product Lines

Author

ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

133. Deductive Verification of Legacy Code

Author

Beckert, Bernhard, Bormer, Thorsten, Grahl, Daniel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

134. A Long and Winding Road Towards Modular Synthesis

Author

Heineman, George T., Bessai, Jan, Düdder, Boris, Rehof, Jakob, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

135. ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction

Author

Düdder, Boris, Heineman, George T., Rehof, Jakob, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

136. Combinatory Process Synthesis

Author

Bessai, Jan, Dudenhefner, Andrej, Düdder, Boris, Martens, Moritz, Rehof, Jakob, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

137. AVMf: An Open-Source Framework and Implementation of the Alternating Variable Method

Author

McMinn, Phil, Kapfhammer, Gregory M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Sarro, Federica, editor, and Deb, Kalyanmoy, editor

Published
2016
Full Text
View/download PDF

138. Good Change and Bad Change: An Analysis Perspective on Software Evolution

Author

Lindvall, Mikael, Becker, Martin, Tenev, Vasil, Duszynski, Slawomir, Hinchey, Mike, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, and Weikum, Gerhard, Series editor

Published
2016
Full Text
View/download PDF

139. Proof Repositories for Compositional Verification of Evolving Software Systems : Managing Change When Proving Software Correct

Author

Bubel, Richard, Damiani, Ferruccio, Hähnle, Reiner, Johnsen, Einar Broch, Owe, Olaf, Schaefer, Ina, Yu, Ingrid Chieh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, and Weikum, Gerhard, Series editor

Published
2016
Full Text
View/download PDF

146. A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering

Author

Chen, Siyue, Cleophas, Loek, Krüger, Jacob, Chen, Siyue, Cleophas, Loek, and Krüger, Jacob

Abstract

Software product-line engineering is concerned with developing a set of similar, yet customized, software systems that share a common codebase. To develop such a variant-rich system, various development processes, techniques, and tools have been studied in research and are used in practice. Specifically, to help developers manage the complexity of developing large-scale variant-rich systems, researchers have proposed visualizations to visually present different properties of such systems and their engineering - -such as feature models, configurations, the similarity of variants, or process traces. Two recent mapping studies have systematically elicited the state-of-the-art on such visualizations, but neither of them provides a comparative analysis of the underlying visualization concepts and tools. In this paper, we report a qualitative meta-analysis of the 64 papers that we primarily selected from these two mapping studies. Advancing on the previous studies, we compare the use cases, pros, cons, and relations between visualization concepts and tools used with respect to engineering variant-rich systems. Our results provide insights - -orthogonal to those from the mapping studies - -regarding the purposes for which visualization concepts are used and the tools that are available to implement these concepts. The overview we provide can help researchers as well as practitioners decide to use specific established visualization concepts or design new ones, and identify tools that can help them to implement these.

Published
2023

147. Applying QoS in FaaS Applications: A Software Product Line Approach

Author

Pablo Serrano-Gutierrez and Inmaculada Ayala and Lidia Fuentes, Serrano-Gutierrez, Pablo, Ayala, Inmaculada, Fuentes, Lidia, Pablo Serrano-Gutierrez and Inmaculada Ayala and Lidia Fuentes, Serrano-Gutierrez, Pablo, Ayala, Inmaculada, and Fuentes, Lidia

Abstract

A FaaS system offers numerous advantages for the developer of microservices-based systems since they do not have to worry about the infrastructure that supports them or scaling and maintenance tasks. However, applying quality of service (QoS) policies in this kind of application is not easy. The high number of functions an application can have, and its various implementations introduce a high variability that requires a mechanism to decide which functions are more appropriate to achieve specific goals. We propose a Software Product Line based approach that uses feature models that model the application’s tasks and operations, considering the family of services derived from the multiple functions that can perform a specific procedure. Through an optimisation process, the system obtains an optimal configuration that it will use to direct service requests to the most appropriate functions to meet specific QoS requirements.

Published
2023
Full Text
View/download PDF

148. Generative AI for Reengineering Variants into Software Product Lines: An Experience Report

Author

Acher, Mathieu, Martinez, Jabier, Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA), TECNALIA France, and Tecnalia

Subjects
software product line, reverse engineering, variant, generative AI, variability, large language model, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], configuration
Abstract

International audience; The migration and reengineering of existing variants into a software product line (SPL) is an error-prone and time-consuming activity. Many extractive approaches have been proposed, spanning different activities from feature identification and naming to the synthesis of reusable artefacts. In this paper, we explore how large language model (LLM)-based assistants can support domain analysts and developers. We revisit four illustrative cases of the literature where the challenge is to migrate variants written in different formalism (UML class diagrams, Java, GraphML, statecharts). We systematically report on our experience with ChatGPT-4, describing our strategy to prompt LLMs and documenting positive aspects but also failures. We compare the use of LLMs with state-of-the-art approach, BUT4Reuse. While LLMs offer potential in assisting domain analysts and developers in transitioning software variants into SPLs, their intrinsic stochastic nature and restricted ability to manage large variants or complex structures necessitate a semiautomatic approach, complete with careful review, to counteract inaccuracies.

Published
2023
Full Text
View/download PDF

149. VASCO: Variability Specification in Business Process Models

Author

Taffo Tiam, Raoul, Seriai, Abdelhak-Djamel, Michel, Raphael, van der Aalst, Wil, Series editor, Mylopoulos, John, Series editor, Rosemann, Michael, Series editor, Shaw, Michael J., Series editor, Szyperski, Clemens, Series editor, Hammoudi, Slimane, editor, Maciaszek, Leszek, editor, Teniente, Ernest, editor, Camp, Olivier, editor, and Cordeiro, José, editor

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results