Summer Term 2004 Previous Terms Summer Term 2003

Winter Term 2003/2004

 

Lectures

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

  • Software Engineering to Prevent Software-Based Accidents (Seminar)
  • Information Systems Security - Aspects and Applications (Seminar)
  • Software Specification: Languages, Methods, Tools (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