vitruv-tools / VitruvLinks
View-based Development and Model Consistency Framework
☆17Updated last week
Alternatives and similar repositories for Vitruv
Users that are interested in Vitruv are comparing it to the libraries listed below
Sorting:
- Tools and standards for conducting and evaluating research in software engineering☆316Updated last month
- Open science policies for SIGSOFT venues☆13Updated last year
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated last week
- This repo contains license and copyright analysis results of open source packages. It further contains other license compliance relevant …☆52Updated this week
- PURL to CPE Relationship mapping project.☆96Updated this week
- A list of references to the most popular research methodologies in software engineering and business information systems.☆18Updated 2 years ago
- A Thesis Class for the Chair of Software Engineering II at the University of Passau, Germany☆13Updated 4 months ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆64Updated 3 years ago
- junit tools contest infrastructure☆13Updated last year
- ☆21Updated last week
- test driver to run JUnit tests isolated in a new JVM☆16Updated 10 months ago
- A dataset of reproducible breaking dependency updates, SANER 2024 (https://doi.org/10.1109/SANER60148.2024.00024)☆21Updated this week
- Fork of the Dependency-Track API server. It includes various changes necessary to work with Hyades.☆18Updated this week
- Deadline countdowns for academic conferences in Software Engineering☆58Updated 2 weeks ago
- OWASP CycloneDX is a full-stack Bill of Materials (BOM) standard that provides advanced supply chain capabilities for cyber risk reductio…☆434Updated last week
- KeY Theorem Prover for Deductive Java Verification☆66Updated this week
- reuse is a tool for compliance with the REUSE recommendations.☆546Updated last week
- Artemis - Interactive Learning with Automated Feedback☆681Updated this week
- A Toolkit for Systematic Literature Reviews☆40Updated 3 months ago
- An extensible framework for feature-oriented software development☆135Updated last week
- The Artifacts for ICSE 2023 paper: Bad Snakes: Understanding and Improving Python Package Index Malware Scanning☆12Updated 2 years ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆33Updated last week
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A light-weight app to audit and inventory large codebases for open source license compliance.☆66Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Pluggable type-checking for Java☆23Updated this week
- Say Goodbye to Email Chaos: A Smarter Way to Manage Theses☆17Updated this week
- Depends is a fast, comprehensive code dependency analysis tool☆234Updated 8 months ago
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆34Updated last year
- REUSE recommendations, tutorials, FAQ and specification☆18Updated last year