Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring Rumpe Bernhard Innbundet / 2012 / Tysk
MontiCore Language Workbench and Library Handbook Edition 2021 Rumpe Bernhard Heftet / 2021 / Engelsk
Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems Volume 2 Kausch, Hendrik Heftet / 2025 / Engelsk
Übungen zur Einführung in die Informatik Strukturierte Aufgabensammlung mit Musterlösungen Broy, Manfred Annet format / 2001 / Tysk
Towards a Sustainable Artifact Model Artifacts in Generator-Based Model-Driven Projects Greifenberg, Timo Heftet / 2018 / Engelsk
Engineering Modeling Languages Turning Domain Knowledge into Tools Combemale Benoit Innbundet / 2016 / Engelsk
Engineering Modeling Languages Turning Domain Knowledge into Tools Combemale Benoit Heftet / 2020 / Engelsk
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Calinescu, Radu Heftet / 2015 / Engelsk
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers Bianculli, Domenico Heftet / 2016 / Engelsk
Model-Based Systems Engineering with the SPES Modeling Language A SysML Workbench for the SPES Methodology Böhm, Wolfgang Heftet / 2026 / Engelsk
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology Böhm, Wolfgang Innbundet / 2020 / Engelsk
