Oberseminar

Vortragsankündigungen

Wintersemester 2007/2008

22.01.08, 16.45 Uhr, Raum IZ 160

Umgebungsmodelle - Infrastruktur zukünftiger Navigations- und Fahrerassistenzsysteme (abstract)
Claus Brenner, Institut für Kartographie und Geoinformatik, Leibniz Universität Hannover

14.01.08, 17.00 Uhr, Raum IZ 160

Risikomanagement leben! Erfolgreiche Softwareprojekte durch wirkungsvolles Risikomanagement (abstract)
Dipl.-Inf. Fabian Ahrendts, Unternehmensberater, Alumni der TU Braunschweig

18.12.07, 13.15 Uhr, Raum IZ 161

Frameworkbasierte Entwicklung domänenspezifischer Sprachen (Promotionsvorstellungsvortrag) (abstract)
Holger Krahn

Sommersemester 2007

24.07.07, 16.30 Uhr, Raum IZ 160: Wert-basiertes Software-Management (abstract)
Dr. Markus Pizka, Technische Universität München, Institut fuer Informatik
04.07.07, 17 Uhr, Raum IZ 160: Haftungsfragen beim Serverbetrieb und bei der Installation von Services (abstract)
Christian Stücke, Rechtsanwalt, Fachanwalt für IT-Recht Kanzlei Sticherling, Simon & Partner GbR
14.06.07, 17 Uhr, Raum IZ 160: Support for the Experimental Comparison of Software Quality Assurance Tools: A Case for ExMAn and ConMAn (abstract)
Prof. Dr. Juergen Dingel, School of Computing, Queen's University, Kingston, Ontario, Canada
14.05.2007, 16:30 Uhr, Raum IZ 160: Model-based Development of Embedded Control Software with TDL and Simulink (abstract)
Gerald Stieglbauer, Department of Computer Sciences, University of Salzburg
26.04.2007, 16:30 Uhr, Raum IZ 504: Promotionsworkshop
wiss. Mitarbeiter
12.04.2007, 15:00 Uhr, Raum IZ 504: Projektstatusrunde
wiss. Mitarbeiter

Wintersemester 2006/2007

25-26.03.2007, Volkse: Promotionsworkshop
wiss. Mitarbeiter
07.02.2007, 15:30 Uhr, Raum IZ 504: Projektstatusrunde
wiss. Mitarbeiter
11.01.2007, 09.00 Uhr, Raum IZ 504: Automatische Distanzregelung in urbaner Fahrumgebung (abstract)
Frank Schroven
05.12.2006, 09.00 Uhr, Raum IZ 504: Spezifikation und Verifikation der eingebetteten Echtzeitsysteme: Focus on Isabelle
Maria Spichkova, TU München
24.11.2006, 15:30 Uhr, Raum IZ 504: Projektstatusrunde
wiss. Mitarbeiter
20.11.2006, 17:30 Uhr, Raum IZ 160: Verteilte Nutzungskontrolle (abstract)
Dr. Alexander Pretschner, Zentrum für Informationssicherheit, ETH Zürich

Sommersemester 2006

28.09.2006, 16:00 Uhr, Raum IZ 504

Qualität von Modellen des Software-Entwurfs (abstract)
Dipl.-Inform. M.Sc. Florian Fieber

14.09.2006, 17:00 Uhr, Raum IZ 160

Winning the DARPA Grand Challenge (abstract)
Prof. Dr. Sebastian Thrun, Computer Science Dep., Stanford University

01.08.2006, 17:00 Uhr, Raum IZ 160

From Workflow and Use Case Scenarios to Protocols for Distributed Applications (abstract)
Prof. Gregor v. Bochmann, Ph.D., School of Information Technology and Engineering, University of Ottawa

16-17.07.2006, Volkse

Promotionsworkshop
wiss. Mitarbeiter

20.07.2006, 15:00 Uhr, Raum IZ 504

Projektstatusrunde
wiss. Mitarbeiter

06.07.2006, 17:00 Uhr, Raum IZ 160

Ein UML-basierter Ansatz für die Modellierung, Verifikation und Implementierung der Informationsverarbeitung in mechatronischen Systemen (abstract)
Prof. Dr. Wilhelm Schäfer, AG Softwaretechnik, Institut für Informatik, Universität Paderborn

21.06.2006, 16:00 Uhr, Raum IZ 160

Metaphors in Conceptual Modeling (abstract)
Prof. Dr. Roland Kaschek, Department of Information Systems, Massey University, New Zealand

13.06.2006, 18:00 Uhr, Raum IZ 504

Überblick Internettechnologien
wiss. Mitarbeiter

27.04.2006, 09:00 Uhr, Raum IZ 504

Projektstatusrunde
wiss. Mitarbeiter

Wintersemester 2005/2006

08.02.2006, 13:15 Uhr, IZ 160: Software entwickeln für die Softwareentwicklung -- hinter den Kullissen eines Toolherstellers.
Dr. Marko Boger, CEO Gentleware AG
16.01.2006, 17:30 Uhr, IZ 160: Integriertes Änderungs- und Testmanagement für IEC61508 konforme Entwicklungsprozesse
Peter Kock, MAN
15.12.2005, 9:30 Uhr, IZ 504: Semantik der UML
Prof. Dr. Rumpe
23.11.2005, 17:30 Uhr, IZ 504: Software Quality Engineering
Prof. Dr. Barbara Paech
03.11.2005, 9:00 Uhr, IZ 504: Diagnose als integraler Bestandteil der Funktion - Methodiken für Softwaresysteme im Kraftfahrzeug
Peter Braitschink
01.11.2005, 16:00 Uhr, IZ 504: Dualität und Analyse von Formalen Modellen - Pr/T-Netze und ihr Bezug zur Linearen Algebra
Dr. Joerg R. Mueller
12.10.2005, 10:30 Uhr, IZ 504: Sprachmittel zur Definition von Instanziierungsregeln in einem objektorientierten, reaktiven System
Murat Sahingöz
06.09.2005, 15:00 Uhr, IZ 504: Stand der Modell-getriebenen Entwicklung beim DLR
Dr. Olaf Maibaum

Sommersemester 2005

24.08.2005, 16.00 Uhr, IZ 504: An approach for generating and executing tests based on the UML Testing Profile (abstract)
Gerrit Hanselmann
20.07.2005, 17.00 Uhr, IZ 160: Artisan Demonstration
Frau Kapteina und Herr Korf (Artisan)
18.07.2005, 17.00 Uhr, IZ 160: Modellbasiertes Testen: Prinzipien und Praxis
Dr. Alexander Pretschner
30.06.2005, 09.00 Uhr, 504: Artisan Real-Time Studio 5
Gerald Winter
22.06.2005, 17.00 Uhr, IZ 160: Simulating Use Cases for Software Requirements Validation
Dr. Jon Whittle
12.05.2005, 17.15 Uhr, 504: Generating Space Navigation Code with Certificates
Dr. Jon Whittle
03.05.2005, 14.00 Uhr, 504: Symboltabellen
Gerald Winter
29.04.2005, 13.00 Uhr, 504: Executable Use Cases
Dr. Jon Whittle
26.04.2005, 15.00 Uhr, 504: Easy Object Juggling + GUI-DSL
Eshref Januzaj
14.04.2005, 9.00 Uhr, 504: Agile Modeling Tool
Holger Krahn, Gerald Winter

Wintersemester 2004/2005

17.02.2005, 12.30 Uhr, 504: Modellierung mit Converge.
Laurence Tratt
15.02.2005, 9.30 Uhr, 504: Converge: An advanced object orientated programming language.
Laurence Tratt
10.02.2005, 9.30 Uhr, 504: BEOSAT : Das Projekt und einige Softwareaspekte
D. Kubus
18.02.2005, 14.00 Uhr, 504: AST - Klassengenerator
Gerald Winter
09.02.2005, 09.30 Uhr, 504: Isabelle - eine grundlegende Einführung
Borislav Gajanovic
29.11.2004, 18.30 Uhr, IZ 160: Modellierung im Kontext von Legacy-Systemen
Prof. Dr. Bernhard Steffen, Universität Dortmund
09.11.2004, 18.00 Uhr, LINEAS Systeme AG, 6. OG, Theodor-Heuss-Strasse 2: Evolutionäre, Test-basierte Softwaremodellierung - eine MDA-Anwendung -
Prof. Dr. Bernhard Rumpe
18.10.2004, 17.00 Uhr, 551: Petrinetze : Eine Einführung
Eshref Januzaj

Sommersemester 2004

27.08.2004, 13.00 Uhr, IZ251: Einführung in Focus
Prof. Dr. Bernhard Rumpe
26.08.2004, 13.15 Uhr, IZ251: Refactoring
Holger Krahn
25.08.2004, 15.15 Uhr, IZ033: Methodisches Testen von Programmen
Gerald Winter
16.08.2004, 13.00 Uhr, IZ251: Data Mining
Eshref Januzaj
12.7.2004, 15.30 Uhr, IZ 251: A View from the Front - Von Qualitätsmodellen zu effektiven Projekten
Pierre Metz, IABG
30.6.2004, 15.15 Uhr, IZ 251: E-Salsa
Christian Pacher, CPNP Consulting
29.6.2004, 10.30 Uhr, IZ 251: Testing Object-oriented Systems
Birgit Prammer
23.6.2004, 15 Uhr, IZ 251: Basiswissen Softwaretest
Gerald Winter
21.6.2004, 13 Uhr, IZ 251: Model Driven Architecture
Prof. Dr. Bernhard Rumpe
17.6.2004, 14 Uhr, IZ 251: Unit Tests mit Java
Holger Krahn
24.5.2004, 15 Uhr, IZ 033: Die Zukunft der Elektronik im Automobil
BMW Group
19.5.2004, 16 Uhr, IZ 251: Synthese von Statechart-Modellen
Birgit Prammer
13.5.2004, 15 Uhr, IZ 033: Software Management mit eMeasurement (abstract)
Mathias Lother, Universität Magdeburg
10.5.2004, 14 Uhr, IZ 033: Abstract State Machines
Prof. Dr. Egon Boerger, Universtität Pisa
6.5.2004, 12 Uhr, IZ 251: Abstraktionsebenen in Anforderungsbeschreibungen aus dem Automotive-Bereich
Birgit Prammer
26.4.2004, 14 Uhr, IZ 251: Software Engineering: Wurzeln, Stand und Perspektiven
Holger Krahn
19.1.2004, 10 Uhr, IZ 251: Extreme Programming in Studentenprojekten
Prof. Dr. Bernhard Rumpe