Sitemap
Jump to content
Log in
|
Deutsch
Search:
TU
|
Informatik
|
STG and RP
|
Staff
|
Research
|
Teaching
|
Publications
|
Partners
|
Internal
You are here:
TU Darmstadt
Informatik
Software Technology Group
Sitemap
Software Technology Group
Sitemap – www.stg.tu-darmstadt.de
STG and RP
Contact
Open Theses
Staff
Mira Mezini
Guido Salvaneschi
Gudrun Harris
Michael Eichberg
Sven Amann
Oliver Bračevac
Ervina Cergani
Joscha Drechsler
Matthias Eichholz
Leonid Glanz
Sylvia Grewe
Dominik Helm
Mirko Köhler
Edlira Kuci
Florian Kübler
Ragnar Mogk
Patrick Müller
Michael Reif
Pascal Weisenburger
Anna-Katharina Wickert
Mohamed Aly
Andi Bejleri
Christoph Bockisch
Eric Bodden
Marcel Bruch
Tom Dinkelaker
Vaidas Gasiunas
Ben Hermann
Kirill Kononenko
Johannes Lerch
Ingo Maier
Ralf Mitschke
Martin Monperrus
Sarah Nadi
Sebastian Proksch
Lucas Satabin
Thorsten Schäfer
Benjamin Schmeling
Andreas Sewe
Jurgen van Ham
Manuel Weiel
Research
Programming Languages
PACE
SugarX
Pluto
Monto
EScala
Overview
Documentation
Language
Library Examples
Download
REScala
SID-UP / Distributed REScala
JEScala
Software Security
PEAKS
FlowTwist
OPAL
Variability Modeling of Cryptographic Components
Program Analysis and Mining Software Repositories
PEAKS
FlowTwist
OPAL
Eko Project
KaVE Project
CupsStudy
Type Systems and Verifiable Guarantees
Veritas
Co-Contextual Java
Associated Research
Code Recommenders
Soot
TamiFlex
Completed Research
ALIA4J
CaesarJ
Clara
AO4BPEL
i3QL
NFComp
Scala Benchmarking Project
Pegasus Project
POPART
Pattern Language (π)
Teaching
Courses
SS 2018
Software Engineering - Design & Construction
Software Development Tools
Foundations of Static Analyses
Bachelor-Praktikum für Psych IT
Design and Implementation of Modern Programming Languages
Implementierung von Programmiersprachen
WS 2017/18
Software Engineering - Design & Construction
Concepts of Programming Languages
Design and Implementation of Modern Programming Languages
Implementation of Modern Programming Languages
Software Engineering Project
Theses
Publications
Partners
Legal Note
