vitruv-tools / VitruvLinks
View-based Development and Model Consistency Framework
☆17Updated this week
Alternatives and similar repositories for Vitruv
Users that are interested in Vitruv are comparing it to the libraries listed below
Sorting:
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆41Updated 3 weeks ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago
- An extensible framework for feature-oriented software development☆133Updated last month
- A Toolkit for Systematic Literature Reviews☆39Updated last year
- Say Goodbye to Email Chaos: A Smarter Way to Manage Theses☆12Updated this week
- Manage GitLab for Labs from the Command Line☆11Updated 6 months ago
- A list of references to the most popular research methodologies in software engineering and business information systems.☆16Updated 2 years ago
- Tools and standards for conducting and evaluating research in software engineering☆309Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆226Updated last week
- Open science policies for SIGSOFT venues☆13Updated last year
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆174Updated 6 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 3 years ago
- Tool to download files from the ILIAS platform automatically☆16Updated 8 months ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated 7 months ago
- ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for…☆17Updated 5 months ago
- A Java project ready to run ATL/EMFVM transformations☆12Updated 3 years ago
- The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)☆17Updated 6 months ago
- KeY Theorem Prover for Deductive Java Verification☆58Updated this week
- junit tools contest infrastructure☆11Updated last year
- An Example for an Xtext Language Server☆37Updated last week
- A UML web modeling tool based on GLSP, distributed via a VS Code extension.☆43Updated last week
- quality control for programming assignments☆46Updated last year
- A dataset of reproducible breaking dependency updates, SANER 2024 (https://doi.org/10.1109/SANER60148.2024.00024)☆20Updated this week
- Material for lectures on software product lines☆14Updated last week
- An Example for an Xtext Language Server☆55Updated 2 years ago
- TUM Grundlagen Algorithmen und Datenstrukturen 2019 Extras (Tests & co.)☆5Updated 5 years ago
- MongoDB adapter for EMF☆9Updated 7 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Updated 7 months ago
- Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden☆24Updated 11 months ago
- A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany☆12Updated 2 weeks ago