Alles aus-/einklappenAlles aus-/einklappen
  1. FolderLehre 
    1. FolderWintersemester 2011/2012 
      1. PageConstraint-Programmierung 
      2. PageEmbedded Softwareengineering im Bereich Automotive 
      3. PageFunktionale Programmierung 
      4. FolderGrundlagen des Übersetzerbaus 
        1. PageSimulator 
        2. PageFlex, RLL 
        3. PageBison 
      5. PageManagement von Softwareprojekten 
      6. PageSoftwaretechnik I 
      7. PageAlgebraische Strukturen als Grundlage der Informatik 
      8. PageFormale Spezifikationssprachen und ihre Semantik 
      9. PageTechniken der formalen Programmentwicklung an Hand von Beispielen 
      10. PageFortgeschrittene Anwendungstechniken für typische Informatiksysteme 
      11. PageLogikbasierte Programmiersprachen 
      12. PageConstraint-Programmierung Praxis 
      13. PageEntwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering 
      14. PageExperimentelles Softwareengineering 
      15. PageSoftwaregrundprojekt (Sopra) 
      16. PageSoftware Engineering in der Praxis 
    2. FolderSommersemester 2011 
      1. PageParadigmen der Programmierung 
      2. FolderRequirements Engineering 
        1. PageÜbungen 
        2. PageUnterlagen 
      3. PageSoftwaretechnik II 
      4. FolderÜbersetzung neuerer Sprachkonzepte 
        1. PageTermine 
        2. PageFunktional 
        3. PageLogisch 
      5. PageFormale Spezifikationssprachen und ihre Semantik 
      6. PageSoftwareengineering eingebetteter Systeme 
      7. PageEntwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering 
      8. PageExperimentelles Software-Engineering 
    3. PageRegelmäßig angebotene Lehrveranstaltungen 
    4. FolderFrühere Lehrveranstaltungen 
      1. PageVorlesungen 
      2. PageSeminare 
      3. PageProseminare 
      4. PagePraktika 
    5. FolderThemen für Diplomarbeiten, Masterarbeiten und Individualpraktika 
      1. PageThom Frühwirths Themen 
      2. PageCP und CHR 
  2. FolderForschung 
    1. FolderThemen 
      1. FolderConstraint Handling Rules 
        1. PageEreignisse 
        2. PageProjekte 
        3. PageMitglieder 
        4. PagePublikationen 
        5. FolderMehr Information 
          1. PageDownloads 
      2. PageConstraint-Programmierung 
      3. PageExperimentelles Software-Engineering 
      4. PageIntegration konventioneller und formaler Methoden der Softwaretechnik 
      5. PageModel Driven Development 
      6. PageProgrammtransformation 
      7. PageRequirements-Engineering 
    2. FolderArbeiten 
      1. PageBetreute Dissertationen 
      2. PageBetreute Abschlussarbeiten 
    3. FolderProjekte 
      1. PageActiveCharts 
      2. PageGLOB-CON 
      3. FolderLeistungspunktesysteme 
        1. PageRahmenwerk 
        2. PageBilanz 
      4. PageModKey 
      5. PageNOVA 
      6. PageROARS 
      7. PageRUBIKON 
      8. PageUltra 
    4. PagePublikationen 
    5. PagePublikationen externer Doktoranden 
    6. FolderVeranstaltungen 
      1. PageCHR Working Week 
      2. PageCHR 2009 Workshop 
      3. PageCHR 2008 Workshop 
      4. Page2nd CHR Seminar Day 
  3. FolderMitarbeiter 
    1. FolderProf. Dr. Helmuth Partsch 
      1. PageWerdegang 
      2. PageBetreute Dissertationen 
      3. PagePublikationen 
    2. PageProf. Dr. Thom Frühwirth 
    3. PageUlrike Seiter 
    4. PageAlexander Breckel 
    5. PageMarcel Dausend 
    6. PageDominik Gessenharter 
    7. FolderDr. Walter Guttmann 
      1. PageAlgebra of Computing 
      2. PageVeröffentlichungen 
      3. PageLehre 
    8. PagePeter Nothelfer 
    9. PageDr. Alexander Raschke 
    10. PageTobias Weck 
    11. PageAmira Zaki 
    12. PageExterne Doktoranden 
    13. FolderEhemalige Mitarbeiter und Doktoranden 
      1. PageHariolf Betz 
      2. PageArmin Bolz 
      3. PageKhalil Djelloul 
      4. PageDietmar Ernst 
      5. PageDr. Wolfgang Gehring 
      6. PageDr. Tobias Häberlein 
      7. PageCarolin Hürster 
      8. PageDr. Niko Kleiner 
      9. PageDr. Jens Kohlmeyer 
      10. PageDr. Marc Meister 
      11. PageDr. Frank Raiser 
      12. PageDr. Stefan Sarstedt 
      13. PageJairson Vitorino 
  4. FolderKontakt 
    1. PageSeitenstruktur