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

Repositories

Showing 8 of 8 repositories
  • lichtblick Public Forked from Russ76/foxglove_studio
    bmw-software-engineering/lichtblick’s past year of commit activity
    TypeScript 85 MPL-2.0 465 0 13 Updated Aug 2, 2024
  • 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 19 5 Updated Aug 2, 2024
  • trlc Public

    Treat Requirements Like Code

    bmw-software-engineering/trlc’s past year of commit activity
    Python 51 GPL-3.0 9 24 (8 issues need help) 6 Updated Aug 2, 2024
  • lobster-demo Public

    LOBSTER Demonstration

    bmw-software-engineering/lobster-demo’s past year of commit activity
    HTML 0 0 0 2 Updated Jul 19, 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,363 0 0 Updated Jul 17, 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 6 (1 issue needs help) 1 Updated Mar 26, 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…