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.