Inhalt des Dokuments
Forschungskolloquium
| 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 |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe