Wiki source code of WS17/18 (Synchrone Sprachen)

Version 5.1 by Alexander Schulz-Rosengarten on 2017/06/29 15:56

version	line-number	content
1.1	1	(((
	2	(% class="bodytext" style="text-align: left;" %)
4.1	3	(% style="color: rgb(34,34,34);" %)Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und eingebetteten Systeme intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.
1.1	4
4.1	5
1.1	6	(% class="bodytext" style="text-align: left;" %)
	7	Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).
	8
	9	(% style="text-align: left;" %)
	10	== Voraussetzungen ==
	11
4.1	12	Das Seminar baut auf Inhalten aus der Vorlesung "Synchrone Sprachen" auf. Seminarteilnehmern, welche diese Vorlesung noch nicht gehört haben, wird als Einstieg folgendes Überblickspapier empfohlen, zumindest hiervon die Abschnitte I und II:
	13
	14	Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf\|\|shape="rect" class="MIME-application MIME--pdf external-link"]]).
	15
1.1	16	(% style="text-align: left;" %)
	17
4.1	18	Wir empfehlen zudem den Besuch der Blockveranstaltung [[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2016s&__e=986\|\|shape="rect" class="internal-link None"]] von Frau Peters.
	19
1.1	20	(% style="text-align: left;" %)
	21	== Dozenten ==
	22
	23	(% class="bodytext" style="text-align: left;" %)
	24	Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de\|\|shape="rect"]])(% class="Apple-converted-space" %) (%%)
3.1	25	Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de\|\|shape="rect"]])
1.1	26
	27	(% style="text-align: left;" %)
	28	== Themen ==
	29
	30	(% class="bodytext" style="text-align: left;" %)
4.1	31	Zur Verfügung stehen die folgenden Paper verschiedenen Themenbereichen.
1.1	32
	33	(% class="bodytext" style="text-align: left;" %)
3.1	34	Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
1.1	35
	36	== Termine ==
	37
	38	(% class="wrapped" %)
	39	\|=(((
	40	Date
	41	)))\|=(((
	42	Topic
	43	)))
	44	\|(((
	45	Do, 27.10.
	46	)))\|(((
3.1	47	Ende der Frist für die Themenauswahl (per Email)
1.1	48	)))
	49	\|(((
	50	Do, 27.10., 13:30 Uhr
	51	)))\|(((
	52	Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
	53	)))
	54	\|(((
	55	Do, 17.11., 8:00 Uhr
	56	)))\|(((
	57	Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
	58	)))
	59	\|(% colspan="1" %)(% colspan="1" %)
	60	(((
	61	tba
	62	)))\|(% colspan="1" %)(% colspan="1" %)
	63	(((
	64	Individualtermine
	65	)))
	66	\|(% colspan="1" %)(% colspan="1" %)
	67	(((
	68	Do, 15.12., 8:00 Uhr
	69	)))\|(% colspan="1" %)(% colspan="1" %)
	70	(((
	71	Abgabe der Erstversion der vollständigen Ausarbeitung
	72	)))
	73	\|(% colspan="1" %)(% colspan="1" %)
	74	(((
	75	tba
	76	)))\|(% colspan="1" %)(% colspan="1" %)
	77	(((
	78	Individualtermine
	79	)))
	80	\|(% colspan="1" %)(% colspan="1" %)
	81	(((
	82	Mo, 09.01., 8:00 Uhr
	83	)))\|(% colspan="1" %)(% colspan="1" %)
	84	(((
	85	Abgabe der Review-Version der Ausarbeitung
	86	)))
	87	\|(% colspan="1" %)(% colspan="1" %)
	88	(((
	89	anschließend
	90	)))\|(% colspan="1" %)(% colspan="1" %)
	91	(((
	92	Zuordnung Ausarbeitungen/Reviewer (per Email)**
	93	**
	94	)))
	95	\|(% colspan="1" %)(% colspan="1" %)
	96	(((
	97	Mo, 16.01., 8:00 Uhr
	98	)))\|(% colspan="1" %)(% colspan="1" %)
	99	(((
	100	Abgabe der Reviews**
	101	**
	102	)))
	103	\|(% colspan="1" %)(% colspan="1" %)
	104	(((
	105	tba
	106	)))\|(% colspan="1" %)(% colspan="1" %)
	107	(((
3.1	108	evtl. Vortrag zur Gestaltung einer guten Präsentation
1.1	109	)))
	110	\|(% colspan="1" %)(% colspan="1" %)
	111	(((
	112	Mo, 23.01., 8:00 Uhr
	113	)))\|(% colspan="1" %)(% colspan="1" %)
	114	(((
	115	Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
	116	)))
	117	\|(% colspan="1" %)(% colspan="1" %)
	118	(((
	119	tba
	120	)))\|(% colspan="1" %)(% colspan="1" %)
	121	(((
	122	Individualtermine**
	123	**
	124	)))
	125	\|(% colspan="1" %)(% colspan="1" %)
	126	(((
	127	Do, 02.02., 8:00 Uhr
	128	)))\|(% colspan="1" %)(% colspan="1" %)
	129	(((
	130	Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**
	131	**
	132	)))
	133	\|(% colspan="1" %)(% colspan="1" %)
	134	(((
	135	Fr, 03.02.
	136	)))\|(% colspan="1" %)(% colspan="1" %)
	137	(((
	138	Ganztägiges Blockseminar mit Vorträgen
	139	)))
	140
	141	== Agenda des Blockseminars ==
	142
	143	Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
	144
3.1	145	**Programm folgt.
1.1	146	**
	147
	148	== Ausarbeitung, Vortrag, Review ==
	149
	150	Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
	151
	152	Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einen fortgeschrittenen Bachelor-Informatikstudenten gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden. Für mögliche Vorlagen zu den Ausarbeitungen siehe die Proceedings der früheren [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470\|\|title="Seminare" shape="rect" class="None internal-link None"]] (Achtung, viele dieser Seminare sind gemischte Bachelor-/Masterveranstaltungen gewesen, bitte orientieren Sie sich an den Masterausarbeitungen (Bachlorausarbeitungen 4seitig, Master 6seitig)). Auch empfehlenswert ist ein Blick in die [[Hinweise>>url:http://rtsys.informatik.uni-kiel.de/confluence/x/jwBe\|\|shape="rect" class="external-link-new-window None internal-link None"]] für die Anfertigung einer Abschlussarbeit.
	153
	154	Der Vortrag soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein. Das Vortragsprogramm wird etwas zusätzliche Zeit für Fragen (5 min) einplanen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages sinnvoll. Die Arbeitsgruppe bietet jedem/r Vortragenden an, eine Videoaufnahme des Vortrags zu erstellen und dem/r Vortragenden anschließend zur Verfügung zu stellen.
	155
	156	Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:
	157
	158	1. Generellen Anmerkungen (was gefällt Ihnen/gefällt Ihnen nicht, zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge etc. Mindestens eine halbe Seite, abgegeben als PDF-Datei.
	159	1. Detaillierteren Korrekturen als elektronisch annotierte PDF-Version der Review-Version der Ausarbeitung. Es empfiehlt sich, hier nur mit dem Adobe Reader zu arbeiten, da Annotationen verschiedener PDF-Viewer oft inkompatibel sind.
	160
	161	Ein eingescannter, handschriftlich annotierter Ausdruck der Ausarbeitung (generelle Anmerkungen sind auch hier erforderlich!) ist notfalls auch ok, wenn gut lesbar, sollte aber vermieden werden. Die Zuordnung Paper/Reviewer geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
	162
	163	Beispiele zur Ausarbeitung und zu Vortragsfolien finden sich in den Proceedings früherer [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470\|\|title="Seminare" shape="rect" class="None internal-link None"]].
	164
	165	Jede(r) Seminarteilnehmer(in) erhält die Proceedings des laufenden Seminars.
	166
	167	== Namenskonventionen ==
	168
	169	Auch wenn das Einchecken von generierten Binärdateien generell eher vermieden werden sollte, sind für dieses Seminar auch die folgenden pdfs einzuchecken, um unnötige Compilierungsschwierigkeiten bei Dozenten und Reviewern zu vermeiden. Grafiken sollten in einem Unterordner (z.B. "images") abgelegt werden. Grafiken sollten weiterhin möglichst skalierbare Verktorgrafiken sein, die als PDF eingebunden werden können. Nicht einzuchecken sind temporäre Dateien (.aux etc.).
	170
	171	Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. Bitte halten Sie sich von Anfang an an diese Namenskonventionen. Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.
	172
5.1	173	* Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
	174	* Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
	175	* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ss-<login>-handout.[tex/pdf]//
	176	* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
	177	* Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem16ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
1.1	178
	179	Anmerkung: Die Handoutfolien unterscheiden sich von den Vortragsfolien dadurch, dass die Handoutfolien keine Animationen für die Präsentation am Beamer enthalten. Beim Arbeiten mit der latex-beamer Klasse können Handoutfolien durch das Hinzufügen eines optionalen Argumentes bei der Deklaration der Dokumentenklasse generiert werden ("\documentclass[trans]{beamer}").
	180
	181	== Benotung ==
	182
	183	Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen.
	184
	185	== Technisches ==
	186
	187	* Reichlich Dokumentation zum //Git// Source Code Management System findet man unter [[http:~~/~~/www.git-scm.com/>>url:http://www.git-scm.com/\|\|shape="rect" class="external-link"]].
	188	* Für den Zugriff auf das Repository müssen wir Sie in unserem [[ Bitbucket>>url:https://git.rtsys.informatik.uni-kiel.de\|\|shape="rect" class="None internal-link None"]] dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.
	189	* Git-Repository auschecken: git clone [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git\|\|shape="rect"]]\\
	190	** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
	191	* [[ACM Style>>url:http://www.acm.org/sigs/pubs/proceed/template.html\|\|shape="rect" class="external-link"]] in [[deutscher>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp-german.cls\|\|shape="rect"]] oder [[englischer>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp.cls\|\|shape="rect"]] Version. Im Git Repository befinden sich im Unterverzeichnis //init/ //eine Reihe von Dateien, welche Sie als Vorlage nehmen können (siehe //README.txt//).
	192	* Wir benutzen [[pdflatex>>url:http://de.wikipedia.org/wiki/PdfLaTeX\|\|shape="rect" class="external-link"]] (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
	193	** sind im Prinzip gleich zu benutzen
	194	** Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. [[http:~~/~~/latex.mschroeder.net/#grafiken>>url:http://latex.mschroeder.net/#grafiken\|\|shape="rect" class="external-link"]] (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)
	195	** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem15ss-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
	196	* (((
	197	Bibliographie: Siehe [[ACM Beispiel>>url:http://www.acm.org/sigs/publications/proceedings-templates\|\|shape="rect" class="external-link"]] (hier werden die Bibliographielemente in eine eigene *.bib Datei ausgelagert). Manuell wird dann einmal //pdflatex dokument.tex// aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird //bibtex dokument.aux// aufgerufen und dann nochmal zweimal //pdflatex dokument.tex//. Erst dann sind die Bibliographieelemente richtig im pdf-file.
	198	)))
	199
	200	== Weiterführende Hinweise / Links ==
	201
	202	Generell ist es empfehlenswert, aus dem Uni-Netz heraus nach verwandten Publikationen zu suchen, da man hier Zugriff auf einige Online-Blbliotheken bekommt. Zur Suche empfehlen sich folgende Suchmaschinen und Seiten:
	203
	204	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/\|\|shape="rect" class="external-link"]]
	205	* CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/\|\|shape="rect" class="external-link"]]
	206	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp\|\|shape="rect" class="external-link"]]
	207	** Kostenloser Download nur aus Rechnern im Uninetz möglich
	208	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm\|\|shape="rect" class="external-link"]]
	209	* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html\|\|shape="rect"]]
	210	)))
	211
	212	(% style="display: none;" %)
	213	(((
	214	555
	215	)))
	216
	217	(% style="display: none;" %)
	218	(((
	219	610
	220	)))
	221
	222	(% style="display: none;" %)
	223	(((
	224	410
	225	)))
	226
	227	(% style="display: none;" %)
	228	(((
	229	547
	230	)))
	231
	232	(% style="display: none;" %)
	233	(((
	234	983
	235	)))
	236
	237	(% style="display: none;" %)
	238	(((
	239	150
	240	)))
	241
	242	(% style="display: none;" %)
	243	(((
	244	329
	245	)))

Wiki source code of WS17/18 (Synchrone Sprachen)

Navigation

Quick Links