Giters
BMW Software Engineering (bmw-software-engineering)

BMW Software Engineering

bmw-software-engineering

Geek Repo

(Formal) Methods for a modern software process

Location:Germany

Github PK Tool:Github PK Tool

BMW Software Engineering's repositories

trlc

Treat Requirements Like Code

Language:PythonLicense:GPL-3.0Stargazers:49Issues:5Issues:58

foxbox

Language:TypeScriptLicense:MPL-2.0Stargazers:46Issues:1Issues:0

lobster

Lightweight Open BMW Software Traceability Evidence Report

Language:PythonLicense:AGPL-3.0Stargazers:9Issues:1Issues:28

trlc-vscode-extension

VSCode extension for TRLC

Language:PythonLicense:GPL-3.0Stargazers:1Issues:1Issues:14

.github

Organisation README

Stargazers:0Issues:1Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0

lobster-demo

LOBSTER Demonstration

Language:HTMLStargazers:0Issues:0Issues:0

publications

Papers and presentations

Language:TeXStargazers:0Issues:1Issues:0