SoftVarE-Group / Course-on-Software-Product-Lines
Material for lectures on software product lines
☆14Updated last month
Alternatives and similar repositories for Course-on-Software-Product-Lines:
Users that are interested in Course-on-Software-Product-Lines are comparing it to the libraries listed below
- ☆11Updated 6 months ago
- An extensible framework for feature-oriented software development☆131Updated last month
- Pluggable type-checking for Java☆20Updated this week
- Repository of teaching material for product lines and variability☆12Updated last year
- Bottom-Up Technologies for Reuse☆18Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆151Updated last month
- The Next Generation Logic Library☆140Updated 4 months ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated last week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- junit tools contest infrastructure☆11Updated last year
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆71Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated last month
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆94Updated last week
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated 2 weeks ago
- DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)☆263Updated last week
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 5 months ago
- CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.☆61Updated 3 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆71Updated this week
- SMTInterpol interpolating SMT solver☆63Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆25Updated this week
- Tutorial: Building a language server for your DSL with Xtext☆27Updated last year
- ☆19Updated 2 months ago
- A list of references to the most popular research methodologies in software engineering and business information systems.☆16Updated 2 years ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆117Updated 7 months ago
- KeY Theorem Prover for Deductive Java Verification☆54Updated this week