Agda Library to Study the Expressive Power of Languages for Static Variability
-
Updated
Apr 17, 2026 - Agda
#
software-product-lines
Here are 31 public repositories matching this topic...
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
Aug 26, 2026 - Java
SPLOT - Software Product Lines Online Tools
-
Updated
Feb 25, 2026 - HTML
reproducible feature-model experiments à la carte 🍰
-
Updated
Sep 21, 2026 - Shell
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
Jun 6, 2025 - 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
-
Updated
Sep 11, 2026 - JavaScript
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
Jan 22, 2025 - HTML
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
Feb 7, 2026 - Java
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
Web tool to create and edit feature models
react software-engineering software-product-lines model-based-development feature-model model-based-design reactflow
-
Updated
Jan 22, 2025 - TypeScript
Automatic-generation-of-configuration-files-for-deploying-services-in-Docker
-
Updated
Dec 4, 2024 - TeX
Command line tools for test-driven agile product line engineering
-
Updated
Dec 31, 2017 - Python
Streamlit-based feature model analysis tool for XML parsing, constraint validation, dependency analysis, and configuration verification.
python xml static-analysis software-engineering propositional-logic software-product-lines feature-model streamlit
-
Updated
May 12, 2026 - Python
A web-based application developed for the Formal Methods in Software Engineering course that enables users to model, validate, and analyze software product line feature models.
-
Updated
Jun 28, 2026 - Python
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."