Repositories list

• Course-on-Software-Engineering

  Public
  Material for introductory course on software engineering

  TeX

  •

  Creative Commons Attribution Share Alike 4.0 International

  •0•0•0•0•Updated Apr 7, 2025Apr 7, 2025

• BibTags

  Public
  TeX

  •

  GNU Lesser General Public License v3.0

  •0•0•6•1•Updated Apr 7, 2025Apr 7, 2025

• pseudo-boolean-uvl-encoder

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

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Mar 31, 2025Mar 31, 2025

• p2d

  Public
  p2d compiles pseudo-boolean constraints in a d-DNNF

  Rust

  •

  MIT License

  •1•0•0•0•Updated Mar 22, 2025Mar 22, 2025

• AutoSMP

  Public
  Java

  •

  GNU Lesser General Public License v2.1

  •2•4•0•0•Updated Jan 3, 2023Jan 3, 2023

• NaviSPL

  Public
  Java

  •

  Apache License 2.0

  •0•0•1•0•Updated Apr 19, 2022Apr 19, 2022

• kconfig-data-aqusition

  Public
  C

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Jan 28, 2022Jan 28, 2022

• ArchiCorC

  Public
  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Oct 29, 2021Oct 29, 2021

• toybox-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 21, 2021Jul 21, 2021

• MutationAnalysisForDBC-FormaliSE21

  Public
  Java

  •0•0•0•0•Updated May 17, 2021May 17, 2021

• busybox-case_study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 1, 2021Apr 1, 2021

• fiasco-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 1, 2021Apr 1, 2021

• uclibc-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 1, 2021Apr 1, 2021

• soletta-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 1, 2021Apr 1, 2021

• Skeditor

  Public
  Java

  •

  GNU General Public License v3.0

  •5•1•0•0•Updated Mar 29, 2021Mar 29, 2021

• busybox-monthly-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Feb 16, 2021Feb 16, 2021

• Stability-of-Productline-Sampling

  Public
  This Repository contains assests for the Paper Stability of Productline Sampling in Continuous Integration

  GNU General Public License v3.0

  •1•1•0•0•Updated Jan 26, 2021Jan 26, 2021

• BCS-Case-Study-Full

  Public
  A collection of artifacts for the body comfort system case study.

  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jan 25, 2021Jan 25, 2021

• SamplingStabilityVaMoS21_Tools

  Public
  Java

  •

  MIT License

  •1•1•0•0•Updated Jan 21, 2021Jan 21, 2021

• busybox-daily-case-study

  Public
  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 21, 2021Jan 21, 2021

• SamplingStabiltyVaMoS21_data

  Public
  1•1•0•0•Updated Jan 19, 2021Jan 19, 2021

• 2020WS-SE1-ProjectExplorer

  Public
  # 2020WS-SE1-ProjectExplorer An example project to illustrate coding guidelines and design patterns in a software engineering lecture

  Java

  •0•1•0•0•Updated Dec 3, 2020Dec 3, 2020

• SE1-Zusatzuebung-Buecherei-Beispiel

  Public
  Java

  •0•0•0•0•Updated Oct 28, 2020Oct 28, 2020

• SIFO-type-system

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 30, 2020Apr 30, 2020

• 2019WS-SE1-Calculator

  Public
  An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture

  Java

  •

  GNU Lesser General Public License v3.0

  •1•1•0•0•Updated Dec 12, 2019Dec 12, 2019

• SPL2018.Project.06

  Public
  Java

  •0•1•0•0•Updated Nov 18, 2018Nov 18, 2018

• SPL2018.Project.23

  Public
  Java

  •0•0•0•0•Updated Aug 17, 2018Aug 17, 2018

• SPL2018.Project.09

  Public
  Java

  •0•0•0•0•Updated Jul 24, 2018Jul 24, 2018

• SPL2018.Project.07

  Public
  Java

  •0•1•0•0•Updated Jul 23, 2018Jul 23, 2018

• SPL2018.Project.16

  Public
  Java

  •0•1•0•0•Updated Jul 10, 2018Jul 10, 2018