Although the SrrTrains v0.01 project has been closed, and although the project is waiting for “3rd party interest”, I felt free
to update the Concepts’ Descriptions.
I already had done it for the papers 000 – 099 (SPARK#15),
Now I have done it for papers 100 – 999.
Please find here the Overview about the SRR Framework (which is paper 100, which contains links to all papers)
and – for completeness – the SYNOPSIS Paper (even more general).
The software (0033.10bf3) will be released soon (but only minor changes, so sorry).