...
Sören Domrös: Gesell, M.; Schneider, K., Modular verification of synchronous programs, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
Merlin Kötzing: Shaver, C.; Lee, E.A., The coroutine model of computation, Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. PDF hier.
Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: Slides und die Homepage des Autors.
...
| Datum | Meilenstein |
|---|---|
| Di, 24.10. | Ende der Frist für die Themenauswahl (per Email) |
| Di, 24.10., 14:30 Uhr | Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 |
| Di, 14.11., 8:00 Uhr | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie) |
| tbaMi, 15.11 & Fr, 17.11 | Individualtermine |
| Di, 12.12., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitungtba |
| Mi, 13.12 & Fr, 15.12 | Individualtermine |
| Di, 09.01., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung |
| anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) |
| Di, 16.01., 8:00 Uhr | Abgabe der Reviews |
| tba | evtl. Vortrag zur Gestaltung einer guten Präsentation |
| Di, 23.01., 8:00 Uhr | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)tba |
| Mi, 24.01 & Fr, 26.01 | Individualtermine |
| Do, 01.02., 8:00 Uhr | Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien) |
| Fr, 02.02. | Ganztägiges Blockseminar mit Vorträgen |
...