Final Theses
Integration of HTTP Services in DIME Bachelor thesis Entwicklung einer internen domänenspezifischen Sprache zur Komposition von SMT-Solvern Bachelor thesis Vue-based Visualization of Maven Dependency Relationships [...] Modellierungsumgebung zur Generierung statischer Webseiten Bachelor thesis Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme Master thesis [...] Bachelor thesis Linting, Autocompletion und Syntax-Highlighting für Validierungsregeln in natürlicher Sprache Bachelor thesis Development of a method for generating token-based transactions in Blockhain networks …