Expand / Collapse allExpand / Collapse all
  1. FolderTeaching 
    1. FolderSummer term 2012 
      1. PageProgramming paradigms 
      2. PageRule-based programming 
      3. FolderRequirements engineering 
        1. PageExercises 
        2. PageMaterials 
      4. PageSoftware Engineering in der Praxis 
      5. PageSoftware engineering II 
      6. PageCompiling functional, logic, and object-oriented languages 
      7. PageLandmarks of software engineering 
      8. PageRule-based and constraint programming 
      9. PageAdvanced techniques for typical applications in computer science 
      10. PageApplication development based on modern principles of software engineering 
      11. PageRule-based and constraint programming 
    2. FolderWinter term 2011/2012 
      1. PageConstraint programming 
      2. PageEmbedded softwareengineering for automotive systems 
      3. PageFunctional programming 
      4. FolderFoundations of compiler construction 
        1. PageSimulator 
        2. PageFlex, RLL 
        3. PageBison 
      5. PageManagement of Sotware Projects 
      6. PageSoftware engineering I 
      7. PageAlgebraic structures in computer science 
      8. PageFormal specification languages and their semantics 
      9. PageTechniques of formal program development 
      10. PageAdvanced techniques for typical applications in computer science 
      11. PageLogic-based programming languages 
      12. PageConstraint-Programming Practice 
      13. PageSoftware Construction 
      14. PageExperimental software engineering 
      15. PageFunctional programming 
    3. PageRegularly offered courses 
    4. FolderFormer courses 
      1. PageLectures 
      2. PageSeminars 
      3. PageProseminars 
      4. PagePractical courses 
    5. FolderTopics for diploma theses, Master's theses and practical work 
      1. PageThom Frühwirth's topics 
      2. PageCP and CHR 
  2. FolderResearch 
    1. FolderTopics 
      1. FolderConstraint Handling Rules 
        1. PageNews and Events 
        2. PageProjects 
        3. PagePeople 
        4. PagePublications 
        5. FolderMore information 
          1. PageDownloads 
      2. PageConstraint Programming 
      3. PageExperimental software engineering 
      4. PageIntegrating conventional and formal methods of software engineering 
      5. PageModel Driven Development 
      6. PageProgram transformation 
      7. PageRequirements engineering 
    2. FolderTheses 
      1. PageSupervised dissertations 
      2. PageSupervised final theses 
    3. FolderProjects 
      1. PageActiveCharts 
      2. PageCoreASM Debugger 
      3. PageGLOB-CON 
      4. FolderCredit Point Systems 
        1. PageFramework 
        2. PageAnalysis 
      5. PageModKey 
      6. PageNOVA 
      7. PageROARS 
      8. PageRUBIKON 
      9. PageUltra 
    4. PagePublications 
    5. PagePublications of External Ph.D. Students 
    6. FolderEvents 
      1. PageCHR Working Week 
      2. PageCHR 2009 Workshop 
      3. PageCHR 2008 Workshop 
      4. Page2nd CHR Seminar Day 
  3. FolderStaff 
    1. FolderProf. Dr. Helmuth Partsch 
      1. PageAcademic CV 
      2. PageSupervised dissertations 
      3. PagePublications 
    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. PagePublications 
      3. PageTeaching 
    8. PagePeter Nothelfer 
    9. PageDr. Alexander Raschke 
    10. PageTobias Weck 
    11. PageAmira Zaki 
    12. PageExternal Ph.D. Students 
    13. FolderFormer Staff and Ph.D. Students 
      1. PageHariolf Betz 
      2. PageArmin Bolz 
      3. PageKhalil Djelloul 
      4. PageDietmar Ernst 
      5. PageWolfgang Gehring 
      6. PageTobias Häberlein 
      7. PageCarolin Hürster 
      8. PageNiko Kleiner 
      9. PageJens Kohlmeyer 
      10. PageMarc Meister 
      11. PageFrank Raiser 
      12. PageStefan Sarstedt 
      13. PageJairson Vitorino 
  4. FolderContact 
    1. PageSitemap