Pinned Repositories
ecosystem
openECTS Ecosystem
Charta
Charta according to the openETCS PCA V.3.0.2
fom16
github Demo
glossary
jama
Jama Integration Demonstration
led-sunrise
Combined Light and Alarm Clock for a Raspberry Pi connected to RGBW LEDs
model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
modeling
Test repository
openetcs.github.com
Public openETCS Website
jastram's Repositories
jastram/ecosystem
openECTS Ecosystem
jastram/Charta
Charta according to the openETCS PCA V.3.0.2
jastram/fom16
github Demo
jastram/glossary
jastram/jama
Jama Integration Demonstration
jastram/led-sunrise
Combined Light and Alarm Clock for a Raspberry Pi connected to RGBW LEDs
jastram/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
jastram/modeling
Test repository
jastram/openetcs.github.com
Public openETCS Website
jastram/Project-PP-
Projektarbeit bei Dr. Michael Jastram
jastram/pror-rodin
ProR Rodin Integration
jastram/re-nlp-lab
A workspace to explore NLP in requirements engineering (RE) with spaCy.
jastram/spesml.github.io
jastram/SSRS
task related activities related to Sub-Systems Requirement Specification (SSRS)
jastram/teaching
RE and SE Teaching - and maybe much more.
jastram/toolchain
WP7: Top Level Project for the toolchain
jastram/web_bank
Command line tool to export the credit card transactions from visa cards issued by the German Bank DKB.
jastram/wp3
WP3 temporary workspace