Inhalt des Dokuments
zur Navigation
Dr.-Ing. Steffen Helke
Email: steffen.helke(AT)tu-berlin.de
Raum: TEL 1203
Telefon: ++49 30 314 - 24784
Fax: ++49 30 314 - 73488
Sprechstunde: Mittwoch, 10 - 12 Uhr
Forschung
Schwerpunkte
- Combination of theorem proving and model checking
- Abstraction techniques for infinite state systems
- Refactoring for object-oriented specifications/systems
Publikationen
Projekte
Lehre
| PROG 2: Einführung in die Programmierung für Wirtschaftsinformatiker | |
|---|---|
| SoSe 2012 | |
| MPGI 3: Methodische und Praktische Grundlagen der Informatik | |
| WiSe 2008/09 • WiSe 2007/08 | |
| SWQM: Softwarequalitätsmanagement im ASE | |
| SoSe 2012 • SoSe 2011 • SoSe 2010 • SoSe 2009 • SoSe 2008 • SoSe 2007 | |
| SASWT: Sicherheitsaspekte in der Softwaretechnik | |
| WiSe 2011/12 • WiSe 2010/11 • WiSe 2009/10 • WiSe 2004/05 • WiSe 2003/04 | |
| ATSWT: Analysetechniken in der Softwaretechnik | |
| SoSe 2005 • SoSe 2004 | |
| SWT: Basisveranstaltung Softwaretechnik | |
| WiSe 2006/07 • SoSe 2006 • WiSe 2005/06 • SoSe 2003 | |
| Seminar Softwaretechnik | |
| WiSe 2008/09 • WiSe 2007/08 | |
