| TU München | Informatik | Software & Systems Engineering | Lehre |
| Abstracts |
| 30.04.2008 | Markus Herrmannsdörfer | |
| Road Trip durch den Südwesten der USA [Abstract] | ||
| 02.07.2008 | Vidar Slåtten (Norwegian University of Science and Technology) | |
| Model Checking Service Specifications [Abstract] [Folien] | ||
| 09.07.2008 | Maria Spichkova | |
| Computational Logic Mix [Abstract] [Folien] | ||
| 23.07.2008 | Torbjörn Lundkvist (Åbo Akademi) | |
| Diagram Reconciliation [Abstract] [Folien] |
| 10.10.2007 | Bernhard Schätz | |
| Choose your weapon - entry level [Abstract] [Folien] | ||
| 31.10.2007 | Stefan Wagner | |
| Empirisches Software Engineering - Methoden und Relevanz [Abstract] [Folien] | ||
| 07.11.2007 | Markus Herrmannsdörfer | |
| Gekoppelte Evolution von Metamodellen und Modellen [Abstract] [Folien] | ||
| 21.11.2007 | Florian Hölzl | |
| QVT & Co [Abstract] [Folien] | ||
| 05.12.2007 | Leonid Kof | |
| Requirements Engineering - State of the Art and Open Research Questions [Abstract] | ||
| 19.12.2007 | Georg Kalus | |
| Sharepoint und V-Modell XT [Abstract] | ||
| 15.01.2008 | Alexander Neidhardt (TU München, Satellitengeodäsie) | |
| Die Vermessung unseres sich wandelnden Planeten Erde - Eine Aufgabe, für die die Informatik eine wichtige Rolle spielt [Abstract] | ||
| 06.02.2008 | Markus Pizka (itestra) | |
| Unternehmensgründung |
| 11.04.2007 | Thomas Schulte-Herbrüggen (TU München, Chemie) | |
| Quantum Computing as an Engineering Problem: An Optimal-Control-Based Quantum Compiler [abstract] [folien] | ||
| 25.04.2007 | Florian Deißenböck | |
| Kontinuierliche Qualitätsanalyse mit ConQAT [abstract] [folien] | ||
| 09.05.2007 | Benjamin Hummel | |
| Inferenz der Internet-Hierarchie [abstract] [folien] | ||
| 23.05.2007 | Frank Marschall (T-Systems) | |
| Das SE-Book von T-Systems [abstract] | ||
| 23.05.2007 | Gregorio Robles (Universidad Rey Juan Carlos) | |
| Mining Software Repositories: Studying the Past to Survive the Future [abstract] [folien] | ||
| 20.06.2007 | Peter Dornbusch (Fireflow) | |
| User-Toolkits - Softwareentwicklung 2.0 [abstract] [folien] | ||
| 04.07.2007 | Stefan Berghofer | |
| Ein Isabelle-Tutorial [abstract] | ||
| 18.07.2007 | Elmar Jürgens | |
| Clone Detection |
| 18.10.2006 | Stefan Wagner | |
| Sensitivitätsanalyse quantitativer Modelle [Abstract] [Folien] | ||
| 08.11.2006 | Celine Laurent (BMW) | |
| Partnerprozesse bei BMW: Business Integration und Kollaboration [Abstract] | ||
| 15.11.2006 | Birgit Penzenstadler | |
| Vergleich von Ansätzen für SPLE mit Case Study zu Czarnecki's Ansatz [Abstract] [Folien] | ||
| 22.11.2006 | Christian Pfaller | |
| CLP zum Laufen bringen [Abstract] [Folien] | ||
| 06.12.2006 | Elmar Jürgens, Martin Feilkas | |
| Domain Specific Languages [Abstract] [Folien] | ||
| 15.12.2006 | Alexander Pretschner (ETH Zürich) | |
| Verteilte Nutzungskontrolle (bereits um 16 Uhr!) [Abstract] | ||
| 10.01.2007 | Jan Romberg (BMW) | |
| Software Engineering aus Sicht BMW Antriebsentwicklung [Abstract] | ||
| 24.01.2007 | Andreas Hager (Euroblock) | |
| Wie gehe ich mit Kunden um? [Abstract] [Folien] |
| 26.04.2006 | Jorge Fox | |
| A Formal Approach to Aspect-Orientation. mehr... | ||
| 10.05.2006 | Dimitry Polivaev (Giesecke & Devrient) | |
| Testentwicklung für Chipkarten bei G&D. mehr. .. | ||
| 24.05.2006 | Ulrike Hammerschall | |
| V-Modell XT meets Reality. mehr... | ||
| 21.06.2006 | Sabine Rittmann | |
| Dienstbegriffe. mehr... | ||
| 05.07.2006 | Florian Deißenböck | |
| Produkt-Qualität. mehr... | ||
| 26.07.2006 | Neal Langmead (Information Processing Limited) | |
| The Time Zero Approach to Finding Bugs in Software, Using Deep Source Code Analysis. mehr... (diesmal im Alonzo Church 01.09.014!) |
| 16.11.2005 | Florian Deißenböck, Stefan Wagner, Sebastian Winter | |
| Einführung in das Lehrstuhl-Wiki. mehr... | ||
| 30.11.2005 | Jan Romberg | |
| Eine Lanze für Datenflussmodelle/Focus. mehr... | ||
| 14.12.2005 | Martin Leucker | |
| How to Write a Paper. mehr... | ||
| 08.02.2006 | Franz Huber | |
| Die IT-Infrastruktur am Lehrstuhl. mehr... |
| Sommersemester 05 | |
| 3. Mai 05 | Andreas Bauer, Johannes Grünbauer Netzsicherheit? I don't care [Abstract] |
| 7. Juni '05 | Peter Dornbusch, Jan Romberg Patente anmelden -- (relativ) leichtgemacht [Abstract, Folien (pdf)] |
| 28. Juni '05 | Martin Rappl Abstraktion -- Anspruch und Wirklichkeit [Abstract] |
| 19. Juli '05 | Sebastian Winter Adaptive Systeme [Abstract] |
| Wintersemester 04/05 | |
| 10. November '04 | Leonid Kof Semantik der natürlichen Sprache [Abstract, Folien (pdf)] |
| 17. November '04 | Gerd Beneken Agile Methoden im Überblick [Abstract, Folien (ppt), Materialien] |
| 1. Dezember '04 | Tilman Seifert CMM(i) und Konsorten - Fortentwicklung der Reifegradmodelle [Abstract, Folien (pdf)] |
| 12. Januar '05 | Florian
Deißenböck, Christian Pfaller Asien ist anders [Abstract, Folien (pdf: 3.1M)] |
| 19. Januar '05 | Jan Jürjens Playing the Devil's Advocate: Verifying Real-Time Systems [Abstract, Folien (ppt)] |
| 02. Februar '05 | Daniel Ratiu Infrastructure Tools for Reverse Engineering [Abstract] |
| Sommersemester '04 | |
| 14. April '04 | Patrick Keil VWL für Informatiker [Abstract,Folien (pdf)] |
| 28. April '04 | Ulrike Hammerschall Das V-Modell 200x -- ein modulares Vorgehensmodell [Abstract, Folien (ppt, pdf)] |
| 19. Mai '04 | Andreas Fleischmann Softskills fuer Software-Ingenieure [Abstract, Folien (ppt)] |
| 9. Juni '04 | Peter Dornbusch Unternehmer gesucht! -- Entrepreneurship an den Münchner Unis [Abstract, Folien (ppt)] |
| 07. Juli '04 | Thomas Kuhn Praktische Netzsicherheit |
| 28. Juli '04 | Markus Pizka Abenteuer Häuslebau [Abstract, Folien (ppt)] |
| Wintersemester 03/04 | |
| 13. Januar '04 | Christian Salzmann, BMW CarIT AutOSAr [Abstract, Folien] |
| 2. Dezember '03 | Alexander Pretschner Software-Produktlinien [Abstract] |
| 18. November '03 | Bernhard Schätz IT does matter: Produktivitätsgewinne durch CASE tools [Abstract,Folien (pdf:753K)] |
| 4. November '03 | Patrick Keil Zukunft der IT - die SETIK II-Studie [Abstract, Folien (pdf: 887K)] |
| 21. Oktober '03 | Alexander Ziegler Wissenschaftstheorie [Abstract] |
| Sommersemester '03 | |
| 24. Juni '03 | Katharina Spies Modellieren kinderleicht: Informatik in der siebten Klasse [Abstract (ps: 40K, pdf: 55K), Folien] |
| 17. Juni '03 | Klaus Schmidt, secaron AG Secure Software Engineering: SAP R/3 Sicherheit [Abstract, Folien (pdf: 655K)] |
| 10. Juni '03 | Andreas Bauer Open Source Development in a Nutshell [Abstract, Folien (pdf: 95K)] |
| 27. Mai '03 | Sascha Molterer, BMW AG MetA - Methodik der Architekturbeschreibung bei BMW [Abstract] |
| 13. Mai '03 | Gerd Beneken Standardarchitekturen: sd&m-QUASAR und BMW-Musterarchitekturen - Ein Erfahrungsbericht [Abstract] |
| 29. April '03 | Wolfgang Prenninger Erfahrungen mit AutoFocus in der MOST-NetworkMaster-Fallstudie [Abstract] |
| 15. April '03 | Leo Kof Parsing natürlicher Sprache [Abstract, Folien (PPT: 214K)] |
| Wintersemester 02/03 | |
| 21. Januar '03 | Uwe Franzen, Siemens AG (ICM MS) Die Success Story EWSD (elektronisches Wählsystem Digital) [Abstract] |
| 7. Januar '03 | Michael von der Beeck, BMW AG Drive-by-Wire-Projekt [Abstract] |
| 17. Dezember '02 | Jan Philipps,Validas AG Michael Jackson's Problem Frames [Abstract, Folien (pdf: 806K)] |
| 4. Dezember '02 | Thomas Stauner, BMW CarIT GmbH System- und Software-Architekturen zukünftiger Fahrzeuggenerationen |
| 19. November '02 | Alexander Ziegler Das Harvard-Konzept [Abstract (pdf: 28K), Folien (pdf: 249K)] |
| 5. November '02 | Bernhard Schätz Cocomo [Abstract, Folien (pdf: 1344K)] |
| Sommersemester '02 | |
| 9. Juli '02 | Tobias Hain GUIs [Abstract, Folien (pdf:230K)] |
| 25. Juni '02 | Christian Prehofer, DoCoMo Eurolabs Technologien für zukünftige Mobilfunknetze [Abstract, Folien (pdf: 563K)] |
| 11. Juni '02 | Alexander Schmidt, BetaResearch Digitales Fernsehen [Abstract, Folien (pdf: 197K)] |
| 28. Mai '02 | Peter Braun XML und XMI [Abstract, Folien (pdf: 149K)] |
| 14. Mai '02 | Bernhard Schätz There's more to V than just SE! [Abstract, Folien (pdf:1.9M)] |
| 30. April '02 | Jan Romberg Kein Anschluß unter dieser URL: IP-Telephonie mit dem Session Initiation-Protokoll [Abstract, Folien (pdf: 636K)] |
| Wintersemester '01/'02 | |
| 5. Februar '02 | Jochen Oelert, KU Eichstätt Businesspläne [Abstract, Folien (pdf: 547K)] |
| 22. Januar '02 | Alexander Pretschner Was ist eine Chipkarte? [Abstract, Folien (pdf: 358K)] |
| 8. Januar '02 | Jan Jürjens Prinzipien des Entwurfs sicherer Systeme [Abstract, Folien (pdf:53K)] |
| 18. Dezember '01 | Alexander Wisspeintner Model Checking [Abstract, Folien (pdf: 478K)] |
| 20. November '01 | Katherine Mickan A learning system for information extraction in a general domain [Abstract, Folien (pdf: 3.2M, gzipped PS: 4.8M)] |
| 6. November '01 | Bernhard Schätz Fair Merge, Brock/Ackermann, Divergence - Klassische Fehler semantischer Modelle [Abstract, Folien (pdf: 165K)] |
| 23. Oktober '01 | Alexander Vilbig Was ist Bioinformatik? [Abstract, Folien (gzipped PS: 2988KB, pdf: 2607KB)] |
| Sommersemester '01 | |
| 7. August '01 | Markus Pizka Architektur-Trends im Bereich Betriebssysteme [Abstract, Folien (pdf:379K)] |
| 17. Juli '01 | Guido Wimmel Formale Modellierung von Sicherheitsanforderungen [Abstract, Folien (gzipped PS: 52K)] |
| 3. Juli '01 | Peter Braun CASE-Tools der Welt [Abstract, Folien (pdf: 1.9MB)] |
| 19. Juni '01 | Martin Strecker Compilerverifikation [Abstract, Folien (pdf:117 K)] |
| 22. Mai '01 | Rupert Stützle B2B Marketplaces - when the dust settles [Abstract, Folien] |
| 8. Mai '01 | Stefan Berghofer Proof Carrying Code [Abstract, Folien (gzipped PS: 118K)] |
| 24. April '01 | Bernhard Rumpe Extreme Programming&Modeling und Konsorten [Abstract, Folien (pdf: 230K)] |
| Wintersemester '00/'01 | |
| 6. Februar '01 | Ingolf Krüger Software Architecture, Design Patterns, and Refactoring [Abstract, Folien (pdf:5.2M)] |
| 23. Januar '01 | Andreas Günzler Die Laplace-Transformation [Abstract, Folien (pdf:169K)] |
| 16. Januar '01 | Birgit Schieder Kategorientheorie [Abstract, Zusammenfassung (pdf:106K)] |
| 12. Dezember '00 | Bernhard Schätz Besinnliches zur Weihnachtszeit - Kompositionalität [Abstract, Folien (pdf: 250K)] |
| 28. November '00 | Max Breitling Fehler und Fehlertoleranz: Begriffe und Techniken [Abstract, Folien (pdf: 169K)] |
| 14. November '00 | Alexander Pretschner Abstrakte Interpretation [Abstract, Folien (pdf: 168K)] |
| 31. Oktober '00 | Thomas Stauner Einführung in hybride Systeme. [Abstract, Folien (pdf:212K)] |
| Sommersemester '00 | |
| 18. Juli '00 | Bernhard Schätz Von völlig abstrakt bis fair: 13 Schlagworte reaktiver Systeme [Abstract, Folien (pdf: 146K)] |
| 4. Juli '00 | Heiko Lötzbeyer Techniken im Software-Test [Abstract, Folien (pdf: 160K)] |
| 20. Juni '00 | Maurice Schoenmakers Infrastrukturen mobiler Systeme: Jini, UPnP und andere [Abstract] |
| 6. Juni '00 | Markus Wenzel Computer-assisted formal reasoning --- So what? [Abstract, Folien (pdf: 130K]) |
| 23. Mai '00 | Jan Philipps Synchrone Programmiersprachen [Abstract, Folien (pdf: 156K)] |
| 9. Mai '00 | Alexander Pretschner Constraint- und Logikprogrammierung [Abstract] |
| Sebastian Winter, Stefan Wagner |