Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -75,6 +75,9 @@
75	75	(% class="bodytext" style="margin-left: 30.0px;" %)
76	76	Guillaume Baudart and Timothy Bourke and Marc Pouzet. [[Symbolic Simulation of Dataflow Synchronous Programs with Timers.>>url:https://www.di.ens.fr/~~pouzet/bib/fdl17.pdf||shape="rect"]] In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
77	77
	78	+(% class="bodytext" style="margin-left: 30.0px;" %)
	79	+D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, [[Synchronous-reactive Semantic Modelling and Verification for Function Block Networks>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7913644||shape="rect"]], in //IEEE Transactions on Industrial Informatics//
	80	+
78	78	=== Master Empfehlung ===
79	79
80	80	(% style="margin-left: 30.0px;" %)
...	...	@@ -275,13 +275,13 @@
275	275	* 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.
276	276	* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git||shape="rect"]]\\
277	277	** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
278		-* [[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//).
	281	+* (% class="external-link" %)ACM Style(%%) in deutscher oder englischer Version. Im Git Repository befinden sich im Unterverzeichnis //template/ //eine Reihe von Dateien, welche Sie als Vorlage verwenden sollen (siehe //README.txt//).
279	279	* 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)
280	280	** sind im Prinzip gleich zu benutzen
281	281	** 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!)
282	282	** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
283	283	* (((
284		-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.
	287	+Bibliographie: Die Bibliographielemente werden 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.
285	285	)))
286	286
287	287	== Weiterführende Hinweise / Links ==

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-33260014
	1	+33260025

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260014/WS17/18 (Synchrone Sprachen)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260025/WS17/18 (Synchrone Sprachen)