Institute of Software Engineering and Compiler Construction

• 1: Teaching.
• 2: Research.
  • 2.1: Topics.
    • 2.1.1: Constraint Handling Rules.
      • 2.1.1.1: News and Events.
      • 2.1.1.2: Projects.
      • 2.1.1.3: People.
      • 2.1.1.4: Publications.
      • 2.1.1.5: More information.
        • 5714250625--.1:1: Downloads.
    • 2.1.2: Constraint Programming.
    • 2.1.3: Experimental software engineering.
    • 2.1.4: Integrating conventional and formal methods of software engineering.
    • 2.1.5: Model Driven Development.
    • 2.1.6: Program transformation.
    • 2.1.7: Requirements engineering.
  • 2.2: Theses.
  • 2.3: Projects.
  • 2.4: Publications.
  • 2.5: Publications of External Ph.D. Students.
  • 2.6: Events.
• 3: Staff.
• 4: Contact.