Software Engineering
You are here:
Home
→
Teaching
→
Winter Term 2009/2010
→
Softwaretechnik (Oberseminar)
Skip to content.
|
Skip to navigation
Software Engineering
Software Engineering
Site Map
Accessibility
Search
Team
Head of Group
Administrative Assistant
System Administrator
Teaching
Winter Term 2009/2010
Summer Term 2009
Winter Term 2008/2009
Summer Term 2008
Research
Tools
Funded Projects
Student Projects
Service
Downloads
Contact
Gallery
Document Actions
Softwaretechnik (Oberseminar)
Instructors
:
Andreas Podelski
Times & Locations
:
Fri, 13:30 - 15:00
Informatik III - Theoretische Informatik (Vorlesung)
Übungsaufgaben
Software Design, Modelling and Analysis in UML (Vorlesung)
Software Testing (Seminar)
Static Code Analysis (Seminar)
Papers
Design and Analysis of Cyber-Physical Systems (Seminar)
Softwarepraktikum für Hörer aller Fakultäten (Praktikum)
Integrating Data Visualization in the Stalin-Framework (Team-Projekt)
Stalin 2.0 - Improving Model Checking Framework (Team-Projekt)
Softwaretechnik (Oberseminar)
