Skip to content
@bmw-software-engineering

BMW Software Engineering

(Formal) Methods for a modern software process
README.md

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 53 9

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 12 AGPL-3.0 6 15 7 Updated Sep 19, 2024
  • trlc Public

    Treat Requirements Like Code

    bmw-software-engineering/trlc’s past year of commit activity
    Python 53 GPL-3.0 9 22 (8 issues need help) 5 Updated Sep 16, 2024
  • trlc-vscode-extension Public

    VSCode extension for TRLC

    bmw-software-engineering/trlc-vscode-extension’s past year of commit activity
    Python 2 GPL-3.0 1 4 0 Updated Sep 12, 2024
  • lobster-demo Public

    LOBSTER Demonstration

    bmw-software-engineering/lobster-demo’s past year of commit activity
    HTML 0 0 0 0 Updated Aug 6, 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 11,765 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…