Summer Term 2005 Previous Terms Summer Term 2004

Winter Term 2004/2005

Lectures

  • Software Verification and Validation (with exercises)
  • Fault-Tolerant Software Architectures (with exercises)
  • Software Reliability (with exercises)
  • Management of Software Projects
  • Seminars

  • Software Engineering to Prevent Software-Based Accidents (Seminar)
  • Information Systems Security - Aspects and Applications (Seminar)
  • Formal Methods for Embedded Hardware/Software-Systems (Advanced Seminar)
  • Practical Courses

  • Practical Course on Software Engineering
  • Further Courses

  • Colloquium for PhD and Post-Doc Candidates
  • Colloquium for Students and Diploma Candidates
  • Study and Diploma Theses

  • Topics