Skip to content
@TUBS-ISF

Institute of Software Engineering and Automotive Informatics

@ TU Braunschweig

Pinned Loading

  1. Course-on-Software-Engineering Course-on-Software-Engineering Public

    Material for introductory course on software engineering

    TeX

Repositories

Showing 10 of 90 repositories
  • Course-on-Software-Engineering Public

    Material for introductory course on software engineering

    TUBS-ISF/Course-on-Software-Engineering’s past year of commit activity
    TeX 0 CC-BY-SA-4.0 0 0 0 Updated Apr 6, 2025
  • BibTags Public
    TUBS-ISF/BibTags’s past year of commit activity
    TeX 0 LGPL-3.0 0 6 1 Updated Apr 2, 2025
  • pseudo-boolean-uvl-encoder Public Forked from st-vi/pseudo-boolean-uvl-encoder

    This project allows to encode uvl feature models in pseudo-boolean constraint logic.

    TUBS-ISF/pseudo-boolean-uvl-encoder’s past year of commit activity
    Java 0 LGPL-3.0 1 0 0 Updated Mar 31, 2025
  • p2d Public Forked from st-vi/p2d

    p2d compiles pseudo-boolean constraints in a d-DNNF

    TUBS-ISF/p2d’s past year of commit activity
    Rust 0 MIT 1 0 0 Updated Mar 22, 2025
  • AutoSMP Public
    TUBS-ISF/AutoSMP’s past year of commit activity
    Java 4 LGPL-2.1 2 0 0 Updated Jan 3, 2023
  • NaviSPL Public
    TUBS-ISF/NaviSPL’s past year of commit activity
    Java 0 Apache-2.0 0 1 0 Updated Apr 19, 2022
  • kconfig-data-aqusition Public
    TUBS-ISF/kconfig-data-aqusition’s past year of commit activity
    C 0 LGPL-2.1 0 0 0 Updated Jan 28, 2022
  • ArchiCorC Public
    TUBS-ISF/ArchiCorC’s past year of commit activity
    Java 1 GPL-3.0 0 0 0 Updated Oct 29, 2021
  • toybox-case-study Public
    TUBS-ISF/toybox-case-study’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Jul 21, 2021
  • MutationAnalysisForDBC-FormaliSE21 Public
    TUBS-ISF/MutationAnalysisForDBC-FormaliSE21’s past year of commit activity
    Java 0 0 0 0 Updated May 17, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…