WM FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Master s Thesis in Informatics Leveraging Traceability between Code and Tasks for Code Reviews and Release anagement Jan Finis D FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Master s Thesis in Informatics Leveraging Traceability between Code and Tasks for Code Reviews and Release Management Einsatz von Nachvollziehbarkeit zwischen Quellcode und Aufgaben fiir Code Reviews
vum FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Bachelorarbeit in Informatik A Web Based Front End to Scenario Based Procurement with Quantity Rebates Philipp Reichart D vum FAKULTAT FUR INFORMATIK DER TECHNISCHEN UNIVERSITAT MUNCHEN Bachelorarbeit in Informatik A Web Based Front End to Scenario Based Procurement with Quantity Rebates Eine Web Basierte Schnittstelle zu Szenario Basierter Beschaffung mit Mengenrabatten Author Phili
vum FAKULTAT F R INFORMATIK DER TECHNISCHEN UNIVERSIT T M NCHEN Master s Thesis in Informatics A Visualization Toolkit for Simplifier Traces in Isabelle jEdit Lars Hupel D FAKULTAT F R INFORMATIK DER TECHNISCHEN UNIVERSIT T M NCHEN Master s Thesis in Informatics A Visualization Toolkit for Simplifier Traces in Isabelle jEdit Ein Visualisierungswerkzeug f r Simplifier Traces in Isabelle jEdit Author Lars Hupel Supervisor Prof Tobias Nipk