Institute of Software Engineering and Compiler Construction

• 1: Teaching.
  • 1.1: Winter term 2011/2012.
    • 1.1.1: Constraint programming.
    • 1.1.2: Embedded softwareengineering for automotive systems.
    • 1.1.3: Functional programming.
    • 1.1.4: Foundations of compiler construction.
    • 1.1.5: Management of Sotware Projects.
    • 1.1.6: Software engineering I.
    • 1.1.7: Algebraic structures in computer science.
    • 1.1.8: Formal specification languages and their semantics.
    • 1.1.9: Techniques of formal program development.
    • 1.1.10: Advanced techniques for typical applications in computer science.
    • 1.1.11: Logic-based programming languages.
    • 1.1.12: Constraint-Programming Practice.
    • 1.1.13: Software Construction.
    • 1.1.14: Experimental software engineering.
    • 1.1.15: Functional programming.
    • 1.1.16: Software Engineering in der Praxis.
  • 1.2: Summer term 2011.
  • 1.3: Regularly offered courses.
  • 1.4: Former courses.
  • 1.5: Topics for diploma theses, Master's theses and practical work.
• 2: Research.
• 3: Staff.
• 4: Contact.