Skip to content
@bmw-software-engineering

BMW Software Engineering

(Formal) Methods for a modern software process

BMW Software Engineering

Free software tools for enabling a more moden software engineering process.

  • TRLC - our approach for writing and tracking requirements in git
  • LOBSTER - our approach for tracing and linking requirements, software and models, and verification activities

Pinned Loading

  1. trlc trlc Public

    Treat Requirements Like Code

    Python 61 11

Repositories

Showing 7 of 7 repositories
  • lobster Public

    Lightweight Open BMW Software Traceability Evidence Report

    bmw-software-engineering/lobster’s past year of commit activity
    Python 17 AGPL-3.0 8 17 6 Updated Dec 23, 2024
  • trlc Public

    Treat Requirements Like Code

    bmw-software-engineering/trlc’s past year of commit activity
    Python 61 GPL-3.0 11 25 (6 issues need help) 3 Updated Dec 17, 2024
  • lobster-demo Public

    LOBSTER Demonstration

    bmw-software-engineering/lobster-demo’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 25, 2024
  • trlc-vscode-extension Public

    VSCode extension for TRLC

    bmw-software-engineering/trlc-vscode-extension’s past year of commit activity
    Python 3 GPL-3.0 1 4 0 Updated Oct 14, 2024
  • llvm-project Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

    bmw-software-engineering/llvm-project’s past year of commit activity
    C++ 0 12,495 0 0 Updated Jul 17, 2024
  • publications Public

    Papers and presentations

    bmw-software-engineering/publications’s past year of commit activity
    TeX 0 0 0 0 Updated Feb 20, 2023
  • .github Public

    Organisation README

    bmw-software-engineering/.github’s past year of commit activity
    0 0 0 0 Updated Jan 16, 2023

Top languages

Loading…

Most used topics

Loading…