Agda Library to Study the Expressive Power of Languages for Static Variability
-
Updated
Oct 16, 2024 - Agda
#
software-product-lines
Here are 27 public repositories matching this topic...
A model merging project for generalizing Featured Finite State Machines (FFSMs) to unify behaviors across Software Product Lines (SPLs)
-
Updated
Nov 2, 2024 - Java
Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
variability-analysis
diffing
software-evolution
repository-mining
software-product-lines
differencing
variability
-
Updated
Nov 1, 2024 - Java
SPLOT - Software Product Lines Online Tools
-
Updated
Jul 29, 2017 - HTML
VariaMos is a Java-based tool for defining variability modeling languages, modeling (dynamic) product lines and cyber-physical self-adaptive systems, and supporting automated verification, analysis, configuration and simulation of these models.
-
Updated
Dec 5, 2018 - Java
Feature Trace Recording in Haskell
software-evolution
feature-location
software-product-lines
feature-traceability
clone-and-own
variability-mining
-
Updated
Sep 29, 2023 - Haskell
A model-driven revision and variation control system for the Eclipse Modeling Framework
-
Updated
Jul 30, 2019 - Java
Modular Soundness Checking for Feature Model Evolution Plans
thesis
master-thesis
static-analysis
software-evolution
software-product-lines
feature-model
soundness
-
Updated
May 31, 2021 - TeX
Variability Manager
html
angular
typescript
preprocessor
variability-analysis
software-product-line
software-product-lines
-
Updated
Dec 8, 2022 - JavaScript
A simple Flask API for FLAMA
-
Updated
Jan 8, 2024 - Python
Ph.D dissertation website
formal-methods
software-product-lines
foda
process-algebras
operational-semantics
denotational-semantics
axiomatic-semantics
-
Updated
Aug 8, 2020 - HTML
Automatic-generation-of-configuration-files-for-deploying-services-in-Docker
-
Updated
Oct 29, 2024 - TeX
Variability Fault Localization: A Benchmark
-
Updated
Jan 5, 2023
Feather: A Feature Model Transformation Language
software-product-lines
variability-management
software-product-line-evolution
feature-model-transformation
-
Updated
Mar 29, 2019 - Java
Command line tools for test-driven agile product line engineering
-
Updated
Dec 31, 2017 - Python
Artifacts for the 2017 master's thesis "Explaining Satisfiability Queries for Software Product Lines"
java
antenna
explanation
cpreprocessor
configuration-files
software-product-lines
feature-modeling
preprocessing-files
-
Updated
Nov 17, 2017 - Java
API for Chatbot Definition, Creation & Deployment using Software Product Lines
-
Updated
Apr 21, 2023 - JavaScript
Do Coupling Metrics Help Characterize Critical Components in Component-based SPL? An Empirical Study
-
Updated
Jul 30, 2017 - HTML
FM2QN: Transforming Feature Models into Queueing Networks
-
Updated
Feb 28, 2022 - Java
Traceabilty Analysis Framework. Part of the AMPLE Project.
-
Updated
Mar 23, 2021 - Java
Improve this page
Add a description, image, and links to the software-product-lines topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-product-lines topic, visit your repo's landing page and select "manage topics."