Search

Your search keyword '"Software product line"' showing total 4,464 results

Search Constraints

Start Over You searched for: Descriptor "Software product line" Remove constraint Descriptor: "Software product line"
4,464 results on '"Software product line"'

Search Results

101. An industrial experience of using reference architectures for mapping features to code.

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

105. Model Checking Feature Interactions

107. Systems of Partial Differential Equations in ExaSlang

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

110. Software Variability Composition and Abstraction in Robot Control Systems

111. Supporting Variability Exploration and Resolution During Model Migration

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

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

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

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

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

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

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

119. On Type Checking Delta-Oriented Product Lines

120. Typed Connector Families

121. Finding Suitable Variability Abstractions for Family-Based Analysis

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

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

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

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

126. Towards Incremental Validation of Railway Systems

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

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

129. Statistical Model Checking for Product Lines

130. Deductive Verification of Legacy Code

131. A Long and Winding Road Towards Modular Synthesis

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

133. Combinatory Process Synthesis

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

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

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

143. Variability modeling of coal mine safety monitoring and control field

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

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

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

147. VASCO: Variability Specification in Business Process Models

149. RoboSeT: A Tool to Support Cataloging and Discovery of Services for Service-Oriented Robotic Systems

Catalog

Books, media, physical & digital resources