vitruv-tools / Vitruv
View-based Development and Model Consistency Framework
☆15Updated last week
Related projects ⓘ
Alternatives and complementary repositories for Vitruv
- quality control for programming assignments☆46Updated 11 months ago
- A Toolkit for Systematic Literature Reviews☆38Updated 4 months ago
- An extensible framework for feature-oriented software development☆129Updated this week
- junit tools contest infrastructure☆11Updated 9 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- Tools and standards for conducting and evaluating research in software engineering☆294Updated 2 weeks ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆167Updated 3 months ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆33Updated 3 weeks ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆17Updated last year
- Open science policies for SIGSOFT venues☆12Updated 8 months ago
- A list of references to the most popular research methodologies in software engineering and business information systems.☆16Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆38Updated last month
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆48Updated last year
- KeY Theorem Prover for Deductive Java Verification☆48Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- A course on agile methods and open source☆30Updated last week
- A dataset of reproducible breaking dependency updates, SANER 2024 (https://doi.org/10.1109/SANER60148.2024.00024)☆15Updated 2 weeks ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆16Updated 3 weeks ago
- srcML Toolkit☆118Updated this week
- Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe☆88Updated 6 months ago
- Open-source implementation of the Foundational Semantics for Executable UML Models (Foundational UML) specification.☆62Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Updated 2 weeks ago
- syntactic merge tool for java☆20Updated 9 months ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- Some lecture notes of the research group☆14Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆22Updated 2 years ago
- Analyse package dependency networks at the call graph level☆92Updated 11 months ago
- Building Training Datasets for Deep Learning Models in Software Engineering and Empirical Software Engineering Research☆19Updated 4 months ago
- Java code examples for Amazon CodeGuru Reviewer☆22Updated 11 months ago