Forschungskolloquium

Termine - Sommersemester 2009, jeweils 16 Uhr c.t. im DCAITI - TU Hochhaus, 4. Etage
Termin	Vortragende/r	Thema	Raum
30. April	Alexander Rein	Reconfigurable Petri Systems with Negative Application Conditions (Diplomarbeit)	DCAITI
6. Mai - 17 Uhr	Moritz Kleine	Low-Level Code Verification Based on CSP Models	TEL 1212
20. Mai - 15 Uhr c.t.	Abel Marrero	Teststufenübergreifende Wiederverwendung funktionaler Testfälle	DCAITI
28. Mai	Linda Schmuhl	verschoben	DCAITI
4. Juni	Georgy Dobrev	Ontology Matching - verschoben	DCAITI
11. Juni	Andreas Mertgen	Generische Pointcuts in ObjectTeams/Java	DCAITI
18. Juni	Henry Sudhof	Sichere Aspektorientierung in Isabelle/HOL	DCAITI
24. Juni, 17:00 Uhr	Fadi Chabarek	Szenariovervollständigung - Induktive Synthese mit Kompositionsinformationen	DCAITI
2. Juli	Marco Mosconi	Aspekte in der modellgetriebenen Softwareentwicklung	DCAITI
9. Juli	Steffen Helke	Korrektheit semantischer Schritte in Statecharts verschoben	DCAITI
15. Juli - 17 Uhr c.t.	Georgy Dobrev	Ontology Matching	DCAITI
16. Juli	Linda Schmuhl	Requirements Engineering im Kontext modellgetriebener Entwicklung - verschoben	DCAITI
23. Juli	Lars Kristian Klauske	Layout von Simulink-Modellen (aktueller Stand)	DCAITI
30. Juli ???	Linda Schmuhl	Requirements Engineering im Kontext modellgetriebener Entwicklung	DCAITI

Navigation