Seminar Programmierung und Reaktive Systeme
|
|
- Swen Holtzer
- vor 7 Jahren
- Abrufe
Transkript
1 Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik 1
2 Eingebettete Systeme Computersysteme (Software kombiniert mit Hardware) eingebunden in technischen Kontext Ermöglichen neue Funktionalität Steuerungs-/Regelungs-/Überwachungsfunktionen Häufiger Einsatz in sicherheitskritischen Bereichen 2
3 Qualitätssicherung eingebetteter Systeme Wichtiger Bestandteil der Entwicklung Sicherstellung/Überprüfung Eigenschaften Anforderungen Ansätze: Statische Analyse Formale Verifikation Dynamisches Testen Sicherheits- und Zuverlässigkeitsanalyse 3
4 Organisatorisches Acht Seminarteilnehmer Ablauf: Vergabe der einzelnen Themen Heute Einarbeitungszeit Zwischenabgabe (Folien/Ausarbeitung) Begutachtungsphase der Ausarbeitung Kolloquium am Ende des Semester (Blockveranstaltung) Weitere Informationen unter: Sascha Lity, Hauke Baller, 4
5 Seminarablauf : Kick-Off Treffen: Vergabe der einzelnen Themen Heute : Abgabe Gliederung und Literaturliste (inkl. Zusatzliteratur) : Zwischenabgabe vollständiger Ausarbeitung für Begutachtungsphase : Abgabe Gutachten (Reviews) : Zwischenabgabe vollständiger Präsentationsfolien : Abgabe finaler Präsentationsfolien KW 30/31: Abschlusspräsentation (Kolloqium) : Abgabe finaler Ausarbeitung Potentielle Einzeltermine und optionaler Probevortrag 5
6 Prüfungsleistungen / Scheinerwerb Von den Seminarteilnehmern wird erwartet: Aktive Teilnahme an allen Seminarvorträgen 30 Min. Abschlussvortrag + ca. 15 Min. Diskussion Schriftliche Ausarbeitung (10-15 Seiten) Begutachtung von zwei anderen Ausarbeitungen Einhaltung aller Abgabefristen 6
7 Seminarinhalte 7
8 Themen Ablauf Themenvergabe Vorstellung der einzelnen Themen Vergabe in Abhängigkeit von Listenplatz Bachelor Modellbasierte Testfallgenerierung Standards und Normen in der Qualitätssicherung Sicherheits- und Zuverlässigkeitsanalyse eingebetteter Systeme Qualitätssicherung in der Industrie Modellbasiertes Testen von Software-Produktlinien Master Modellbasiertes Testen von Echtzeit und Hybriden Systemen Formale Verifikation eingebetteter Systeme Diversifizierende Teststrategien für das Testen eingebetteter Systeme 8
9 Themen Bachelor 1 & 2 Modellbasierte Testfallgenerierung Vorstellung eines existierenden Verfahrens Vorstellung bestehender Werkzeugunterstützung Diskussion von Anwendungsfällen Standards und Normen in der Qualitätssicherung Aufbereitung existierender Normen und Standards Vergleich der gewählten Normen und Standards Diskussion von Anwendungsgebieten 9
10 Themen Bachelor 3 & 4 Sicherheits- und Zuverlässigkeitsanalyse eingebetteter Systeme Vorstellung existierender Verfahren Diskussion der Vor- und Nachteile Diskussion besondere Herausforderungen Qualitätssicherung in der Industrie Aufbereitung der Herausforderungen Vorstellung angewendeter Techniken Vorstellung von Erfahrungsberichten 10
11 Themen Bachelor 5 & Master 1 Modellbasiertes Testen von Software-Produktlinien Überblick bestehender Ansätze Diskussion Vor- und Nachteile Diskussion offener Probleme Modellbasiertes Testen von Echtzeit und Hybriden Systemen Vorstellung Echtzeit und Hybriden Systemen Aufbereitung eines Verfahrens und dessen Besonderheit beim Testen Vorstellung Anwendungsfall 11
12 Themen Master 2 & 3 Formale Verifikation eingebetteter Systeme Bestehende Ansätze Unterschied Branching Time und Linear Time Anwendungen Diversifizierende Teststrategien für das Testen eingebetteter Systeme Überblick über bestehende Ansätze Diskussion Vor- und Nachteile Vorstellung der Anwendung in Industrie 12
13 Themenvergabe Bachelor Modellbasierte Testfallgenerierung Standards und Normen in der Qualitätssicherung Sicherheits- und Zuverlässigkeitsanalyse eingebetteter Systeme Qualitätssicherung in der Industrie Modellbasiertes Testen von Software-Produktlinien Master Modellbasiertes Testen von Echtzeit und Hybriden Systemen Formale Verifikation eingebetteter Systeme Diversifizierende Teststrategien für das Testen eingebetteter Systeme 13
14 Hinweise zur Literaturrecherche IEEE, ACM -- Die beiden größten Organisationen für Informatik dblp -- Umfangreiche Datenbank mit sehr guter Suche, z.b. auch nach bestimmten Autoren, Konferenzen usw. Google Scholar -- Sehr umfangreich, findet fast alles Wichtig: Wikipedia ist keine wissenschaftliche Quelle!!! 14
15 Hinweise zur Strukturierung der Ausarbeitung Titelblatt Inhaltsverzeichnis Einleitung Motivation und Zielsetzung Grundlagen und Related Work (kurz) Beschreibung des Themas Zusammenfassung und Fazit Literaturverzeichnis (im Text referenziert) Vorlage: Nicht zwingend TeX, aber bitte nach dem Format der Musterarbeit richten 15
16 Hinweise zur Strukturierung der Vortragsfolien Titelfolie: Thema, Name, Datum, Veranstaltung, Gliederungsfolie Faustformel: Pro Folie zwei Minuten Vortrag Gesamtidee des Themas deutlich machen und dann Schwerpunkte setzen 16
17 Hinweise zum Gestalten der Vortragsfolien Aussagekräftige Folientitel Max. 6-8 Bullets pro Folie Keine ganzen Sätze, sondern Schlagzeilen Graphiken zur Erläuterung einsetzen, falls sinnvoll Simples Animieren nur, wenn sinnvoll (Entwicklungen zeigen, Beispiele schrittweise aufbauen, ) Einheitliches Layout (TUBS-IPS Folienmaster) PowerPoint Keynote TeX (Beamer) 17
18 Hinweise zum Vortragen der Vortragsfolien Keine vorauseilenden Entschuldigungen, die den Gesamteindruck im Vornherein verschlechtern ( ich bin heute etwas krank, ich hatte keine Zeit, den Vortrag zu üben, ) Frei vortragen Alles auf einer Folie muss genau erklärt werden können Nicht alles, was Sie sagen, muss auf der Folie stehen; nicht alles was auf der Folie steht, muss genauso gesagt werden Was wollen Sie wann, wie, wozu auf einer Folie erklären? Beispiele zur Erläuterung, müssen genau vorbereitet sein (insb. Tafeltexte) Folienübergänge überlegen Pausen beim Sprechen einlegen Nicht zu viele Fragen ins Publikum stellen Ganz wichtig: Den Vortrag vor anderen Personen üben 18
19 Nächste Termine : Ausgabe Initial-Literatur Elektronische Abgabe am : Gliederung und Literaturliste (inkl. Zusatzliteratur) als an Betreuer Elektronische Abgabe am : Zwischenabgabe vollständiger Ausarbeitung für Begutachtungsphase als 19
Seminar Programmierung und Reaktive Systeme
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity Kick-Off Meeting 03.04.2013 1 Eingebettete Systeme Computersysteme (Software
MehrSoftware Engineering & Software Performance Engineering
Software Engineering & Software Performance Engineering Seminar Vorlage AG Software Engineering AG Software Engineering Seminarleitung: Prof. Dr. Wilhelm Hasselbring (wha) Betreuung:
MehrKernveranstaltungen der Wirtschaftsinformatik. Prof. Dr. Stefan Voß. Universität Hamburg Institut für Wirtschaftsinformatik
Kernveranstaltungen der Wirtschaftsinformatik Prof. Dr. Stefan Voß Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik - Seminar Prof. Dr. Stefan Voß Universität
MehrRichtlinien und Hinweise für. Seminararbeiten
Richtlinien und Hinweise für Seminararbeiten Lehrstuhl für VWL (Wirtschaftspolitik, insbes. Industrieökonomik) Ökonomie der Informationsgesellschaft Prof. Dr. Peter Welzel Gliederung Die folgenden Richtlinien
MehrSecure Software Engineering/ Sicherheit und Softwaretechnik
1/ 14 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommersemester 2016 RGSE - Research Group for Software Engineering 27.04.2016 Agenda 2/ 14 1 Hintergründe zum Seminar 2 Organisatorisches
MehrKernveranstaltungen der Wirtschaftsinformatik. Universität Hamburg Institut für Wirtschaftsinformatik
Kernveranstaltungen der Wirtschaftsinformatik Prof. Dr. Stefan Voß Universität Hamburg Institut für Wirtschaftsinformatik Kernveranstaltungen der Wirtschaftsinformatik - Prof. Dr. Stefan Voß Universität
MehrSeminar Kommunikation und Multimedia
Seminar Kommunikation und Multimedia Real-Time Sensor Networks Advanced Real-Time Sensor Networks Institut für Betriebssysteme und Rechnerverbund Technische Universität Braunschweig 27.10.2008 IBR, TU
MehrBSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware
BSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware Verantwortlich : Prof. Dr.-Ing. Christof Paar (EMSEC) Verantwortlich : Prof. Dr.-Ing. Tim
MehrSeminar-Informationsveranstaltung
Seminar-Informationsveranstaltung 16.10.2008 Anforderungen und Tipps Seite 2 Inhalt Anforderungen Zeitplan Ausarbeitung Ihr Vortrag Themen Fragen & Antworten Seite 3 Überblick Anforderungen (Scheinkriterien)
MehrSecure Software Engineering/ Sicherheit und Softwaretechnik
1/ 15 Secure Software Engineering/ Sicherheit und Softwaretechnik Sommermester 2017 RGSE - Research Group for Software Engineering 18.04.2017 Agenda 2/ 15 1 Hintergründe zum Seminar 2 Organisatorisches
MehrIllustrative Visualisierung
Seminar Illustrative Visualisierung Dr. Kai Lawonn, Prof. Bernhard Preim Institut für Simulation und Graphik, Otto-von-Guericke Universität Magdeburg 1/16 Seminarleiter Kai Lawonn lawonn@isg.cs.uni-magdeburg.de
MehrBSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware
BSc/MSc Seminar EMSEC/SHA Fakultät für Elektrotechnik und Informationstechnik Embedded Security / Secure Hardware Verantwortlich : Prof. Dr.-Ing. Tim Güneysu (SHA) Verantwortlich : Prof. Dr.-Ing. Christof
MehrHalten von Vorträgen
Halten von Vorträgen Propädeutikum im Sommersemester 2017 Institut für Statistik, LMU 21.04.2017 (LMU) Propädeutikum 21.04.2017 1 / 14 Übersicht 1 Aufbau eines Vortrags 2 Erstellen des eigenen Vortrags
MehrMeine Diplomarbeit I 1
Meine Diplomarbeit I 1 Anmeldung 1. Anmeldung ein Semester VOR dem Prüfungssemester ( Betreuer sollte schon informiert sein, wenn nicht: Institut, Betreuer + Thema suchen!) 2. Anmeldung des Themas + Betreuer
MehrVortragsfoolien / Präsentation
Vortragsfoolien / Präsentation Vortragsfolien sollen den Vortragenden bei seiner Arbeit unterstützen und das Verständnis der Zuhörer erle-ichtern Farbige Hintergrundmuster und Hervorhebungen lockern die
MehrGemeinsames TUM-LMU Seminar
Gemeinsames TUM-LMU Seminar Wissenschaftliches Arbeiten Akzeleratoren und ihr Einsatz im Hochleistungsrechnen (LMU) Akzeleratorarchitekturen (TUM) Prof. Dr. Dieter Kranzlmüller Dr. Karl Fürlinger MNM-Team
Mehre Learning Organisatorisches Jeanette Mönch
e Learning Organisatorisches Seminar Jeanette Mönch Otto von Guericke Universität Magdeburg Fakultät für Informatik Institut für Simulation und Graphik Arbeitsgruppe Visualisierung Kontaktdaten Dr. Jeanette
MehrWerkzeugunterstützung für sichere Software
1/ 18 Werkzeugunterstützung für sichere Software Sommersemester 2015 LS14 - Arbeitsgruppe Software Engineering for Critical Systems 15.04.2015 Agenda LS14 - Arbeitsgruppe Software Engineering for Critical
Mehr(Pro-)Seminar Sicherheit und Softwaretechnik im Wintersemester 2017/18
Sicherheit und Softwaretechnik im Wintersemester 2017/18 Dr. Daniel Strüber Prof. Dr. Jan Jürjens Universität Koblenz-Landau, Institute for Software Technology 1 Agenda Hintergründe zum Seminar Organisatorisches
MehrKonzepte von Betriebssystem-Komponenten: Effiziente Manycore-Systeme
Konzepte von Betriebssystem-Komponenten: Effiziente Manycore-Systeme Florian Schmaus, Stefan Reif Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg
MehrSeminar Eingebettete Systeme Energieaspekte der Informationstechnologie Wintersemester 2012/13
12 Seminar Eingebettete Systeme Energieaspekte der Informationstechnologie Wintersemester 2012/13 Peter Marwedel Informatik 12 TU Dortmund Ziel des Seminars Ziel des Seminars: exemplarisches Erarbeiten
MehrVorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2018/19
Vorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2018/19 ModaS 0-1 Zeit: Donnerstag 12-14 Uhr, Beginn: 18.10. 2018 Ort: HG, Hörsaal M 201 WWW-Seite: https://www.sosy-lab.org/teaching/2018-ws-seminar-modas/
MehrTelepräsenz und virtuelle Realität
Seminar Telepräsenz und virtuelle Realität Was kommt nach Second Life? WS 2007/2008 Fakultät für Informatik Institut für Technische Informatik Lehrstuhl für Intelligente Sensor-Aktor-Systeme (ISAS) Dipl.-Ing.
MehrRichtlinien und Hinweise für. Bachelorarbeiten
Richtlinien und Hinweise für Bachelorarbeiten Lehrstuhl für VWL (Wirtschaftspolitik, insbes. Industrieökonomik) Ökonomie der Informationsgesellschaft Prof. Dr. Peter Welzel Gliederung Die folgenden Richtlinien
MehrSeminar Angewandte Informatik
Seminar 10 202-2312 Angewandte Informatik 00 - Einführungsveranstaltung Prof. Dr. Rainer Alt Dr. Jörg Härtwig Dr. Kyrill Meyer Chris Leiter Agenda 1) Organisatorisches zum Seminar 2) Organisatorisches
MehrHinweise zum Seminarvortrag und Korreferat
Hinweise zum Seminarvortrag und Korreferat Prof. Dr. Silke Übelmesser Lehrstuhl für Allgemeine Volkswirtschaft und Finanzwissenschaft FSU Jena WS 2013/14 Gliederung 1 Allgemeines 2 Vorbereitung 3 Der Vortrag
MehrSeminar Informationsvisualisierung
Seminar Informationsvisualisierung Thema: Seminar Dozent: Dr. Dirk Zeckzer zeckzer@informatik.uni-leipzig.de Sprechstunde: nach Vereinbarung Umfang: 2 Prüfungsfach: Modul Fortgeschrittene Computergrafik
MehrSeminar Spiele in der Informatik. Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Spiele in der Informatik (Informatik der Systeme & BAI/MAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Prof. Dr. Barbara König, Dr. Sander Bruggink, Christoph Blume, Mathias Hülsbuch,
MehrKonferenzseminar IT-Sicherheit
Konferenzseminar IT-Sicherheit WS 2013/14 Veranstalter: Felix Freiling, Hans-Georg Eßer Weitere Betreuer: Sebastian Abt (Hochschule Darmstadt), Zinaida Benenson, Michael Gruhn, Nadina Hintz, Lena Reinfelder
MehrVorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2016/17
Vorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2016/17 ModaS 0-1 Zeit: Donnerstag 12-14 Uhr, Beginn: 20.10. 2016 Ort: HG, Hörsaal M 201 WWW-Seite: http://www.pst.ifi.lmu.de/lehre/wise-16-17/moddas
MehrRahmenbedingungen für Erhalt und Benotung eines Seminarscheines
Rahmenbedingungen für Erhalt und Benotung eines Seminarscheines in der AG Visualisierung Otto von Guericke Universität Magdeburg AG Visualisierung 1/12 1. Bearbeitung eines Themas ORGANISATORISCHES Allgemein
MehrHow to make a PIXAR movie? WS 2012/2013
Proseminar/Seminar How to make a PIXAR movie? WS 2012/2013 Computer Graphics and Visualization Group Technische Universität München Überblick Sinn und Zweck eines Seminars Anforderungen und Zeitplan Überblick
MehrVorbesprechung. Proseminar Bioinformatik. Sommersemester Februar 2015
Vorbesprechung Proseminar Bioinformatik Sommersemester 2015 5. Februar 2015 0 Zeitplan Proseminar Vorbesprechung (heute) Einführungsveranstaltung (13.04.) 11 Vorträge (ab 20.04.) Abschlussveranstaltung
MehrKonventionen. Anfertigung wissenschaftlicher Papiere. Michaela Meier - Christopher Pietsch. Richtlinien Ausarbeitung (5.
Anfertigung r Papiere Richtlinien Ausarbeitung (5. September 2016) Michaela Meier - Christopher Pietsch Agenda 1 2 3 1 / 12 Richtlinien Ausarbeitung (5. September 2016) Teil 1 2 / 12 Richtlinien Ausarbeitung
MehrTipps zum Halten von Vorträgen
Tipps zum Halten von Vorträgen Stefan Thater FR4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes 2011-10-31 Sinn und Zweck von Seminaren In Seminaren soll das wissenschaftliche
MehrFachgebiet Bodenmechanik und Grundbau. Vor Beginn einer Bachelor-, Master- oder Studienarbeit muss vom Studierenden ein Exposé erstellt werden.
Allgemeine Hinweise für die Erstellung von Bachelor- und Masterarbeiten sowie schriftliche Ausarbeitung eines Studienprojektes (Studienarbeit) am Erwin-Schrödinger-Straße Gebäude 14, D-67663 Kaiserslautern
MehrSE Wissenschaftliches Arbeiten
SE Wissenschaftliches Arbeiten LV 180.765, SS 2018 Wissenschaftliches Schreiben und Wissenschaftsbetrieb Ao. Univ.-Prof. Margrit Gelautz margrit.gelautz@tuwien.ac.at 09.04.2018 Verfassung der Seminararbeit
MehrPioniere der Informatik
Pioniere der Informatik Seminar im Wintersemester 2009/10 Martin Lange Institut für Informatik, LMU München 20. Oktober 2009 Pioniere der Informatik, M. Lange, IFI/LMU: Organisatorisches 1 Termine Seminar
MehrSeminar 3D-Geometrieverarbeitung
MIN-Fakultät Department für Informatik Kognitive Systeme Peer Stelldinger Seminar 3D-Geometrieverarbeitung Zur Person Peer Stelldinger 1998 2003 Studium Informatik (+ Mathematik), HH 2003 2007 Promotion
MehrSeminar Kommunikation und Multimedia
Seminar Kommunikation und Multimedia Kommunikation unter widrigen Bedingungen & Techniken für Netze mit sporadischen Kommunikationsverbindungen Institut für Betriebssysteme und Rechnerverbund Technische
MehrSoftware-Verifikation
Hochschule Wismar Fakultät für Wirtschaftswissenschaften Semesterarbeit (Arbeitsplan und Grobkonzeption) Software-Verifikation Fernstudiengang Master Wirtschaftsinformatik Modul: Formale Methoden Semester:
MehrSeminar Software Qualität im SS 2018 Vorbesprechung am 1. Februar 2018
Seminar Software Qualität im SS 2018 Vorbesprechung am 1. Februar 2018 PD Dr. habil. Daniel Méndez Dr. Maximilian Junker, Dr. Elmar Jürgens, Dr. Benedikt Hauptmann, Dr. Henning Femmer, Dr. Sebastian Eder,
MehrSeminare Softwaretechnik - Einführungsveranstaltung
Seminare Softwaretechnik - Einführungsveranstaltung Stefan Malich Sommersemester 2005 Version 1.0 Lehrstuhl für Wirtschaftsinformatik und Softwaretechnik Prof. Dr. Stefan Eicker 1 Agenda Einführung und
MehrSeminar. Web Engineering
Verteilte und selbstorganisierende Rechnersysteme WS12/13 SS 11 Seminar Web Engineering Prof. Dr.-Ing. Martin Gaedke, Dipl.-Inf. Olexiy Chudnovskyy, Sebastian Heil M.Sc. Technische Universität Chemnitz
MehrSeminar Green-IT. Wissenschaftliches Arbeiten. Web: http://www.nm.ifi.lmu.de/seminar Email: seminar12@nm.ifi.lmu.de
Seminar Green-IT Wissenschaftliches Arbeiten Web: http://www.nm.ifi.lmu.de/seminar Email: seminar12@nm.ifi.lmu.de Ablauf des Seminars und Termine Einführungsveranstaltung Donnerstag, 26. April 16:00 Uhr
MehrTipps zum Halten von Vorträgen. Sinn und Zweck von Seminaren. Was zeichnet einen guten Vortrag aus?
Tipps zum Halten von Vorträgen Stefan Thater FR4.7 Allgemeine Linguistik (Computerlinguistik) Universität des Saarlandes 2012-10-23 Sinn und Zweck von Seminaren In Seminaren soll das wissenschaftliche
MehrSeminar Eingebettete Systeme
12 Seminar Eingebettete Systeme Peter Marwedel Informatik 12 Germany Ziel des Seminars Ziel des Seminars ist es, dass die Studierenden den Nachweis erbringen, die Kompetenz zu besitzen, sich selbstständig
MehrWissenschaftliches Arbeiten
Wissenschaftliches Arbeiten Sommersemester 2018 Steffi Hahn Lehrstuhl für Volkswirtschaftslehre, insb. Makroökonomie Ziel der Veranstaltung Ziel des Seminars ist der Erwerb der Grundlagen des wissenschaftlichen
MehrBachelor-Seminar Eingebettete Interaktive Systeme. Eyetracking and Attention Estimation
Bachelor-Seminar Eingebettete Interaktive Systeme Eyetracking and Attention Estimation Prof. Dr. Matthias Kranz Dr. Gerold Hölzl Administratives 1. Organisation und Ablauf Administratives Ziele Bearbeitung
MehrWissenschaftliches Arbeiten
Wissenschaftliches Arbeiten Sommersemester 2017 Steffi Nagel Lehrstuhl für Volkswirtschaftslehre, insb. Makroökonomie, Prof. Dr. Klaus Wälde Ziel der Veranstaltung Ziel des Seminars ist der Erwerb der
MehrSeminar Opportunistische Netze
Seminar Opportunistische Netze Dominik Schürmann Technische Universität Braunschweig Opportunistische Netze Keine durchgehende Ende-zu-Ende-Verbindung Übertragung mittels Store-Carry-Forward-Prinzip Oftmals
MehrSeminar Eingebettete Systeme Sommersemester 2013
12 Seminar Eingebettete Systeme Sommersemester 2013 Peter Marwedel Informatik 12 TU Dortmund Ziel des Seminars Ziel des Seminars ist es, dass die Studierenden den Nachweis erbringen, die Kompetenz zu besitzen
MehrElektronische Identitäten Kick-Off
Elektronische Identitäten Kick-Off 27.10.2010 27.10.2010 TUD FB 20 CDC A. Wiesmaier & J. Braun 1 Vorstellung Alex Wiesmaier Johannes Braun S2/02 B216 wiesmaie@cdc.informat ik.tu-darmstadt.de S2/02 B205
MehrBiophysik Hauptseminar SS 2008
Biophysik Hauptseminar SS 2008 Wie halte ich einen Vortrag? Hauptseminar Heinrich, Rädler Allgemeine Information Ziel des Seminars Einarbeiten in neue Themenkomplexe Einarbeiten in englische Primärliteratur
MehrTECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK. Seminar. Vortragstechnik und Organisation. Dr. Michael Petter. Wintersemester 2014/15
TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Seminar Vortragstechnik und Organisation Dr. Michael Petter Wintersemester 2014/15 Seminaridee Wir stellen einen speziellen Sprachenaspekt vor! Alle
MehrVon Faust bis zur Neunten Theater, Opern- und Konzerthäuser
Von Faust bis zur Neunten Theater, Opern- und Konzerthäuser Tragkonstruktionen BIII / M1 / II WS 2012/2013 Prof. Matthias Pfeifer, Doris Kern, Sylvio Worg Institut Entwerfen und Bautechnik, KIT Universität
MehrProseminar Künstliche Intelligenz
Proseminar Künstliche Intelligenz Sommersemester 2009 Einführung und Themenvergabe 23. April 2009 Who is who Veranstalter Prof. Friedrich v. Henke Friedrich.von-Henke@uni-ulm.de Raum O 27 / 450 Sprechstunde
MehrErstellen einer wissenschaftlichen Arbeit: Zusatzaufgabe
Wiss. Schreiben Formale Regeln Zusatzaufgabe Themen Ihre Arbeit Quellen 1/16 Erstellen einer wissenschaftlichen Arbeit: Zusatzaufgabe Sabrina Bleich 29. April 2008 Wiss. Schreiben Formale Regeln Zusatzaufgabe
MehrVorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2017/18
Vorlesung/Seminar: Modellierung dynamischer und adaptiver Systeme, Wintersemester 2017/18 ModaS 0-1 Zeit: Donnerstag 12-14 Uhr, Beginn: 19.10. 2017 Ort: HG, Hörsaal M 201 WWW-Seite: https://www.sosy-lab.org/teaching/2017-ws-seminar-modas/
MehrSeminar WS / 2017
Seminar WS 10216 / 2017 Stefan Niemczyk, Marie Ossenkopf 1 Übersicht Allgemeine Hinweise zu den Seminaren Seminare zu Ausgewählte Themen der verteilten Systeme Seminare zu Autonome mobile Roboter 2 Allgemeines
MehrWissenschaftliches Arbeiten
Wissenschaftliches Arbeiten Schriftliche Ausarbeitungen Guido de Melo Seite 2 Ablauf von Seminaren Blockseminar Themenvergabe Recherche Ausarbeitung Review Vortrag/Präsentation Seite 3 Lernziele Eigenständige
MehrHauptseminar im WS 2011/2012. "Capital Budgeting and Corporate Investment Decisions"
Hauptseminar im WS 2011/2012 "Capital Budgeting and Corporate Investment Decisions" 1 Ablauf 04. Oktober: Beginn der Bearbeitungszeit 14. November (12 Uhr s.t.): Abgabe der Seminararbeiten Abgabe der Arbeiten
MehrVortragstechnik. Prof. Dr. Thomas Ludwig. Ruprecht-Karls-Universität Heidelberg Institut für Informatik Abteilung für parallele und verteilte Systeme
Vortragstechnik Prof. Dr. Thomas Ludwig Ruprecht-Karls-Universität Heidelberg Institut für Informatik Abteilung für parallele und verteilte Systeme Email : t.ludwig@computer.org Die Folien dieses Vortrags
MehrHauptseminar im SoSe Selected Topics in Corporate Finance"
Hauptseminar im SoSe 2012 Selected Topics in Corporate Finance" 1 Ablauf 04. April: Beginn der Bearbeitungszeit 16. Mai (12 Uhr s.t.): Abgabe der Seminararbeiten Abgabe der Arbeiten in zweifacher Ausfertigung
Mehr# Tutorial: Recherche und Schreiben
20.04.2011 # http://www.uni-ulm.de/dbis Tutorial: Recherche und Schreiben Seite 2 Inhalt Sinn und Zweck Recherche Schriftliche Ausarbeitung Allgemeine Anforderungen Gliederung Layout Literaturverzeichnis
MehrMultiprocessor on Chip
SS09 Seminar Multiprocessor on Chip Philipp Mahr 1 Outline Allgemeines & Organisatorisches Themen & Themenvergabe Wissenschaftliches Schreiben Präsentationen 2 Allgemeines Kursziele: Das Erlangen tiefereichender
MehrSeminar 3D-Geometrieverarbeitung
MIN-Fakultät Department für Informatik Kognitive Systeme Peer Stelldinger Seminar 3D-Geometrieverarbeitung Zur Person Peer Stelldinger 1998 2003 Studium Informatik (+ Mathematik), HH 2003 2007 Promotion
MehrHinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2015
Hinweise zur Anmeldung und zum Ablauf des Seminars Aktuelle Fälle der Wirtschaftspolitik (Bachelor) im Sommersemester 2015 1 Seminar Wirtschaftspolitik Allgemeine Informationen Das Seminar zeichnet sich
MehrSeminararbeitstechniken. Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger
Seminararbeitstechniken Proseminar Algorithmen der Verkehrssimulation WS 05/06 Michael Moltenbrey, Dirk Pflüger Gliederung Organisatorisches Wie bearbeite ich ein Thema? Wie baue ich einen Vortrag auf?
MehrKoSI Praxis- & Abschlussmodul (KoSI 7)
KoSI Praxis- & Abschlussmodul (KoSI 7) Hochschule Darmstadt Fachbereich Informatik Prof. Dr. Ralf Hahn, Hochschule Darmstadt, Fachbereich Informatik, KoSI 7, SS2016 1 Name Prof. Dr. Ralf Hahn Aufgabe Lehre
MehrÜber den Einsatz von Voodoo und Alchimie in guten wissenschaftlichen Vorträgen
Voodoo in wissenschaftlichen Vorträgen? Über den Einsatz von Voodoo und Alchimie in guten wissenschaftlichen Vorträgen Benjamin Hohnhäuser Marek Musial Daniel Lüdtke Dietmar Tutsch Bergische Universität
MehrSeminar Transaktionen und Workflows
Seminar Transaktionen und Workflows Organisation und Themenvergabe Organisation: Prüfungsleistungen Alle Teilnehmer Regelmäßige Teilnahme (max. eine unentschuldigte Abwesenheit) Aktive Teilnahme Referat
MehrWirtschaftsinformatik
Wirtschaftsinformatik Projektseminar SS 2005 OpenScape II Dr. Kai Riemer Marcel Gogolin Gliederung 1 Vorstellungsrunde 2 Ziel des Projektseminars 3 Grober Zeitplan 4 Projektmanagement 5 Organisatorisches,
MehrPraxis der Forschung im Sommersemester 2017
Praxis der Forschung im Sommersemester 2017 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr.-Ing. Rainer Stiefelhagen Fakultät für
MehrSeminar Visualisierung von Graphen
Seminar Visualisierung von Graphen Vortrag, Ausarbeitung, Feedback Wintersemester 2015/2016 28. Oktober 2015 Fabian Lipp basierend auf einem Vortrag von Dorothea Wagner Vorbereitung des Vortrags Den bzw.
MehrGrundlagen Software Engineering
Grundlagen Software Engineering Organisation Prof. Dr. Liggesmeyer, 1 AG Software Engineering: Dependability Prof. Dr. Peter Liggesmeyer Zimmer 32 / 423 Email liggesmeyer@informatik.uni-kl.de Sprechstunde:
MehrZeitsprung: Wie Digitalisierung und Robotisierung unsere Arbeitswelt von morgen verändern Univ.-Prof. Dr. Ruth Stock-Homburg Wintersemester 2016/2017
Konzept zum Blockseminar Zeitsprung: Wie Digitalisierung und Robotisierung unsere Arbeitswelt von morgen verändern Univ.-Prof. Dr. Ruth Stock-Homburg Wintersemester 2016/2017 TU Darmstadt FG Marketing
MehrAllgemeine Hinweise zu Proseminaren
Algorithmische Grundlagen und Vermittlung der Informatik Lehrstuhl 11 (Algorithm Engineering) Prof. Dr. Johannes Fischer Allgemeine Hinweise zu Proseminaren 1 Allgemeine Hinweise Bitte lesen Sie zunächst
MehrSeminarvorbesprechung
Seminarvorbesprechung Christian Funk, Christiane Barz, Christoph Sorge, Heiko Schepperle, Patrick Jochem Ausgewählte technische, rechtliche und ökonomische Aspekte des Entwurfs von Fahrerassistenzsystemen
MehrTitel des Seminars Titel der Seminararbeit Semester
Wirtschaftsinformatik und Maschinelles Lernen Stiftung Universität Hildesheim Marienburger Platz 22 31141 Hildesheim Prof. Dr. Dr. Lars Schmidt-Thieme Name des Betreuers Titel des Seminars Titel der Seminararbeit
MehrSeminar MAMMAMIA WS 2012/13 Literaturrecherche
Seminar MAMMAMIA WS 2012/13 Literaturrecherche Richard Schaller Martin Hacker Künstliche Intelligenz Department Informatik FAU Erlangen-Nürnberg 15.11.2012 Gliederung 1 Wie finde ich relevante Literatur?
MehrVorbesprechung Hauptseminar
Vorbesprechung Hauptseminar Data Mining und Persistenz-Management in MMOGs Allgemeines Termine: Mittwoch der 5.12 von 12.00-16.00 (Themenvorstellung) Mittwoch der 9.1.13 von 12.00-16.00 Mittwoch der 16.1.131
MehrSeminar: Techniken der Computerspiele. Alexander Weggerle
Seminar: Techniken der Computerspiele Alexander Weggerle 20.04.10 Seite 2 Einführung Themenüberblick Organisatorisches Seminarablauf liches Seite 3 Einführung Seminar Motivation Vorbereitung auf Abschlussarbeit
MehrSoftwareproduktlinienentwicklung und Semantic Web Seminar Wintersemester 2008/2009
Softwareproduktlinienentwicklung und Semantic Web Seminar Wintersemester 2008/2009 Dr. Sören Auer; Thorsten Berger; Thomas Riechert; Jens Lehmann; Michael Martin Termin: freitags; 11:15 bis 12:45 Ort:
MehrGute Seminarvorträge Tipps & Tricks. Katharina Hahn
Gute Seminarvorträge Tipps & Tricks. Katharina Hahn Motivation» Vorträge sind in Studium und Wissenschaft unumgänglich» Seminarvorträge» Diplom/Master/Studien/Bachelorarbeiten» Evtl. weitergehend: Vorträge
MehrNeueste Trends im Hochleistungsrechnen
Proseminar Neueste Trends im Hochleistungsrechnen Julian Kunkel, Michael Kuhn, Philipp Neumann Arbeitsbereich Wissenschaftliches Rechnen Fachbereich Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften
MehrAllgemeine Informationen zur Masterarbeit Master Nachwachsende Rohstoffe Straubing
Allgemeine Informationen zur Masterarbeit Master Nachwachsende Rohstoffe Straubing Gliederung Formales: Organisation Anmeldung Abgabe, Kolloquium & Note BOKU Inhaltliches: Vorgehen Aufbau, Gliederung Zeitplan
MehrSeminare WS2018/19 : Informationsveranstaltung
Seminare WS2018/19 : Informationsveranstaltung 09.07.2018 Lehrstuhl für Wirtschaftsinformatik Prof. Dr. Richard Lackes technische universität dortmund 1 Organisatorisches Ansprechpartner Organisatorische
MehrSeminar Wirtschaftsinformatik
Seminar Wirtschaftsinformatik M.Sc. Melanie Windrich, Prof. Dr. Andreas Speck AG Wirtschaftsinformatik (Angewandte Informatik) Institut für Informatik Christian-Albrechts-Universität zu Kiel 10. April
MehrSeminar Fehlertoleranz und Echtzeit
Seminar Fehlertoleranz und Echtzeit Vorbesprechung, Themenvergabe http://ess.cs.tu-dortmund.de/de/teaching/ws2015/ftrt/ Hendrik Borghorst, Ulrich Gabor, Boguslaw Jablkowski, Olaf Spinczyk vorname.nachname@tu-dortmund.de
MehrPROJEKT- UND HAUPTSEMINAR SSE
PROJEKT- UND HAUPTSEMINAR SSE Einführungstermin Veranstaltung im Wintersemester 2010 FG System- und Softwareengineering i Prof. Dr.-Ing. Armin Zimmermann, Dr.-Ing. Volker Zerbe Ablauf Heute Organisatorisches
MehrWie hält man einen Vortrag?
Seminar Bioinformatics of Tomorrow Kerstin Scheubert 19.04.2010 Motivation Es ist leichter, zwei Theaterstücke zu schreiben als einen Vortrag. Tankred Dorst (*1925), dt. Schriftsteller, 1990 Georg-Büchner-Preis
MehrGeometrische Algorithmen für Anwendungen in der Geovisualisierug
Geometrische Algorithmen für Anwendungen in der Geovisualisierug Institut für Theoretische Informatik Lehrstuhl für Algorithmik Prof. Dorothea Wagner Institut für Algebra und Geometrie Arbeitsgruppe Diskrete
MehrAnfertigen von wissenschaftlichen Arbeiten. Peter Altenbernd - Hochschule Darmstadt
Anfertigen von wissenschaftlichen Arbeiten 1 Übersicht 1. Die Einleitung 2. Die Einführung 3. Der Inhalt 4. Experimente 5. Stand der Technik (Related Work) 6. Zusammenfassung Kurzfassung (Abstract) Anhang
Mehr