Universal-Variability-Language / uvl-parserLinks
UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This repository is holding the grammar definition.
☆13Updated last week
Alternatives and similar repositories for uvl-parser
Users that are interested in uvl-parser are comparing it to the libraries listed below
Sorting:
- Material for lectures on software product lines☆15Updated 2 weeks ago
- Bottom-Up Technologies for Reuse☆18Updated 4 months ago
- Repository of teaching material for product lines and variability☆12Updated 2 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated 2 weeks ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Updated 3 weeks ago
- Adding declarative, reactive and incremental rules to MPS☆21Updated 3 weeks ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆66Updated last month
- JavaSMT - Unified Java API for SMT solvers.☆230Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆71Updated last year
- An extensible framework for feature-oriented software development☆139Updated 3 months ago
- KeY Theorem Prover for Deductive Java Verification☆69Updated this week
- The Next Generation Logic Library☆151Updated last week
- TurnKey artifact for Z3☆43Updated 3 months ago
- Tool Support for Correctness-by-Construction☆30Updated 2 weeks ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Spoofax runtime☆160Updated 9 months ago
- ☆44Updated last month
- Gamification of Mutation Testing☆44Updated 3 weeks ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆448Updated this week
- SMTInterpol interpolating SMT solver☆69Updated this week
- Pluggable type-checking for Java☆27Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 6 months ago
- Property-Based Testing on the JUnit Platform☆641Updated this week
- A free, open-source Java library for automata, graphs, and transition systems☆98Updated 2 weeks ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- Fluent API generator☆42Updated 2 weeks ago
- A fluent API generator☆26Updated last week
- gemoc-studio☆28Updated 11 months ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- jdclare - a declarative engine by the Modeling Value Group☆11Updated 6 years ago