sTeX Case Studies
Lecture Notes Case Study
We have been using the course "General Computer Science I & II", a one-year introductory course in computer science held by Michael Kohlhase at Jacobs University as a development case study for the developement of sTeX, more. We are currently embarking on a transformation of an additional course in the same infrastructure and keep the planning documents and an activity log here. This can be used as a template for further transformation projects.
SAMSDocs Case Study
We are using sTeX for formalizing the development documents (contract, specifications, and manuals) of a SIL 3 certification of a safety component of a laser scanner.