Der Lehrstuhl für Softwaretechnik und Programmiersprachen Prof. Dr. Wolfgang Reif
|
|
|
- Joachim Albrecht
- vor 5 Jahren
- Abrufe
Transkript
1 und Programmiersprachen Prof. Dr. Wolfgang Reif
2 Forschungsbereiche Formale Methoden Sicherheit Softwaretechnik Mechatronik und Robotik Organic Computing
3 Vorlesungen im Master Seminar Systemmodellierung und Verifikation Formale Methoden im Software Engineering Seminar mobile Robotik Software- und System- Sicherheit Softwaretechnik II Mechatronik und Robotik Seminar fortgeschrittene Themen des Software Engineering Selbstorganisierende, adaptive Systeme Seminar fortgeschrittene Konzepte in der Robotik
4 Vorschlag Studienplan Master 1. Semester Winter 2. Semester Sommer 3. Semester Winter Selbstorganisierende, adaptive Systeme 2+4 SWS, 8 LP Software in Mechatronik und Robotik 2+4 SWS, 8 LP Software- und Systemsicherheit 2+4 SWS, 8 LP Softwaretechnik II 4+2 SWS, 8 LP Formale Methoden im Software Engineering 2+4 SWS, 8 LP Projektmodul Software- und Systems Engineering 10 LP 4. Semester: Masterarbeit
5 Softwaretechnik II Software Prozesse, vom Unified Process bis zu Scrum: Wie geht man vor? Requirements Engineering: Was muss getan werden? Refactoring: Systematische Verbesserung des Designs Testen: Notwendiges Werkzeug der Qualitätssicherung
6 Formale Methoden im Software Engineering Softwarefehler können Schäden in Millionenhöhe verursachen oder gar Menschenleben kosten Für Systeme im hochgradig sicherheitskritischen Bereich reichen normale Qualitätstechniken nicht aus Es sind in solchen Fällen beweisbar korrekte Programme gefordert Formale Methoden ermöglichen den mathematisch exakten Nachweis der funktionale Korrektheit von Software
7 Softwaregetriebene Mechatronik & Robotik Software Shift bei der Entwicklung mechatronischer Produkte Mechanik und Elektronik ist beherrschbar Software ist der Innovationstreiber Softwareanteil bei solchen Produkten steigt stetig Aber deren Entwicklung bringt neue Herausforderungen (z.b. Echtzeitanforderungen, ) In der Mechatronik & Robotik ist Software die Basistechnologie für die Machbarkeit innovativer Systeme für den einfachen und wirtschaftlichen Zugang zu neuen Anwendungsfeldern für eine breitere Produktpalette durch Softwarevarianten für intelligente und flexible Produktionszellen
8 Selbstorganisierende, adaptive Systeme Creating a new generation of IT systems, which are not explicitely pre-programmed at design time (because of their complexity, autonomy, or unpredictable structure) but intelligently react at run time to unforeseen situations (e.g. through self organisation, self adaptation, self optimisation). Beispiele: Organic Computing (OC) Naturinspirierte Algorithmen (Ameisen, Bienen) Systeme mit Selbst-x Eigenschaften lernende Algorithmen Emergentes Verhalten Schwarmintelligenz Sensornetzwerke
9 Software- und Systemsicherheit Bedrohungen im digitalen Zeitalter nehmen zu Sicherheit oberstes Ziel bereits beim Design Modellgetriebenes Software Engineering für sichere Systeme Schutz der privaten Daten auf Smart Phones Kryptographische Protokolle Smart Cards Informationsflusskontrolle Skimming Tracking
10 Industriepartner
11 Für Studierende Ständig aktualisierte/wechselnde Masterarbeiten Projektmodule studentische Mitarbeiter (siehe Webseite/Aushänge) regelmäßig Tutoren in Softwaretechnik/Softwareprojekt Betreuung externer Masterarbeiten persönliche Beratung: Kurt Stenzel (Zimmer 3051, Tel ) jeder Mitarbeiter des Lehrstuhls
Fachprüfungsordnung für den Masterstudiengang Ingenieurinformatik der Fakultät für Angewandte Informatik der Universität Augsburg vom
Fachprüfungsordnung für den Masterstudiengang Ingenieurinformatik der Fakultät für Angewandte Informatik der Universität Augsburg vom Auf Grund von Art. 13 Abs. 1 Satz 2 in Verbindung mit Art. 61 Abs.
Fachprüfungsordnung für den Masterstudiengang Informatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 8.
Fachprüfungsordnung für den Masterstudiengang Informatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 8. Februar 2017 Auf Grund von Art. 13 Abs. 1 Satz 2 in Verbindung mit Art. 61
Die Technische Universität München und die Fakultät für Informatik. Julie Mäding
Die und die Fakultät für 1 TUM. Campus Garching Chemie Physik Mathematik Maschinenwesen TUM Institute for Advanced Study Medizintechnik Forschungs- Neutronenquelle 2 Die Bewerbung an der Fakultät für 3
Studien- und Prüfungsplan Pflichtlehrveranstaltungen
Studien- und Prüfungsplan Pflichtlehrveranstaltungen Modulname (ECTS) Prüfung Pflicht-LV aus Gebiet Kommunikationstechnik 5 n. Vb. Pflicht-LV aus Gebiet Kommunikationssysteme 6 n. Vb. Pflicht-LV aus Gebiet
Inhaltsverzeichnis. I. Allgemeine Bestimmungen. Geltungsbereich
Fachprüfungsordnung für den Masterstudiengang Ingenieurinformatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 6. Juli 2016, geändert durch Satzung vom 23. November 2016 [*] Auf
Studienprofil Software Engineering Master Informatik
Studienprofil Software Engineering Master Informatik KIT-Fakultät für Informatik KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Inhaltsverzeichnis 1 Einführung Studienprofile im
Master Elektronische und Mechatronische Systeme (M-SY)
Studienplan Master Elektronische und Mechatronische Systeme (M-SY) - gültig ab 01.10.2017 (gemäß Beschluss des Fakultätsrats vom 02.10.2017) Inhalt 1 Allgemeines... 3 1.1 Gesetzliche Grundlagen... 3 1.2
Planungshilfe Studiengang Wirtschaftsinformatik, PO 2014 Master
Planungshilfe Studiengang Wirtschaftsinformatik, PO 2014 Master Stand: 22.04.2016 Hinweis: Dieses Dokument ist nicht verbindlich! Im Zweifelsfall gilt die (aktuelle) Prüfungsordnung! Erste veröffentlichte
Fachprüfungsordnung für den Masterstudiengang Ingenieurinformatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 6.
Fachprüfungsordnung für den Masterstudiengang Ingenieurinformatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 6. Juli 2016 Auf Grund von Art. 13 Abs. 1 Satz 2 in Verbindung mit
3 Modulgruppe: Mathematische Grundlagen B
M-510-5-4-001 Satzung zur Änderung der Fachprüfungsordnung für den Bachelorstudiengang Informatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 25.07.2018 Auf Grund von Art. 13 Abs.
Modularisierung der Lehramtsstudiengänge im Saarland
Modularisierung der Lehramtsstudiengänge im Saarland Lehramt an beruflichen Schulen: Technik mit Vertiefungsrichtungen Elektrotechnik, Mechatronik, Metalltechnik. Studienplan zum Studium des Lehramts Technik
Grundlagen 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:
Inhalte des Moduls Programmieren 1
Inhalte des Moduls Programmieren 1 Einführung: Algorithmus und Programm, Programmiersprache Erste Schritte in Java Grundlagen der Sprache: Datentypen, Ausdrücke und Anweisungen, imperative Programmierung
V e r k ü n d u n g s b l a t t
V e r k ü n d u n g s b l a t t der Universität Duisburg-Essen - Amtliche Mitteilungen Jahrgang 5 Duisburg/Essen, den 8. März 07 Seite Nr. 43 Erste Ordnung zur Änderung der Prüfungsordnung für den Masterstudiengang
STUDIENGANG INFORMATIK IN DER FAKULTÄT TECHNIK (TI)
STUDIENGANG INFORMATIK IN DER FAKULTÄT TECHNIK (TI) Informationstechnik (TIT) Mobile Informatik (TIM) IT Security (TIS) Stand: 07/2017 www.ravensburg.dhbw.de STUDIENGANG INFORMATIK Studienangebote Studiengang
Modulhandbuch. M.Sc. Informatik und Multimedia, PO 2018 Fakultät für Angewandte Informatik. Wintersemester 2018/2019
Universität Augsburg Modulhandbuch M.Sc. Informatik und Multimedia, PO 2018 Fakultät für Angewandte Informatik Wintersemester 2018/2019 Studienbeginn ab Wintersemester 2018/2019 Gültig im Wintersemester
Ingenieurinformatik. Interdisziplinärer Studiengang an der Universität Augsburg. Hella Seebach, Lehrstuhl für Softwaretechnik
Ingenieurinformatik Interdisziplinärer Studiengang an der Universität Augsburg Hella Seebach, Lehrstuhl für Softwaretechnik Ingenieurwissenschaften an der Uni Augsburg Materialwissenschaften Zehn neue
Informationsveranstaltung. für Studierende in den Master Studiengängen
Informationsveranstaltung für Studierende in den Master Studiengängen Übersicht Überblick über den Master Studiengang Informatik Nebenfächer Prüfungsorganisation Spezialisierte Masterstudiengänge Allgemeines
Fünfte Änderungssatzung zur Studienordnung für den Masterstudiengang Wirtschaftsinformatik (Business Information Systems) an der Universität Leipzig
1/45 Universität Leipzig Wirtschaftswissenschaftliche Fakultät Fünfte Änderungssatzung zur Studienordnung für den Masterstudiengang Wirtschaftsinformatik (Business Information Systems) an der Universität
INFORMATIK. Reform des Informatik-Studiums (Bachelor) Informationsveranstaltung zur Studienreform
Reform des Informatik-Studiums (Bachelor) Informationsveranstaltung zur Studienreform Ziele der Reform Fundierte Ausbildung im Pflichtbereich unter Berücksichtigung des Forschungsprofils des Standorts
Die beste junge Uni Deutschlands* stellt sich vor. rund Studierende Tür an Tür mit der Wirtschaft über 200 Professorinnen und Professoren
Konsequentes ist der entscheidende Erfolgsfaktor bei der Planung, Konzeption und Umsetzung großer komplexer Softwaresysteme. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie Die beste junge
INFORMATIK. Reform des Informatik-Studiums (Bachelor) Informationsveranstaltung zur Studienreform
Reform des Informatik-Studiums (Bachelor) Informationsveranstaltung zur Studienreform Ziele der Reform Fundierte Ausbildung im Pflichtbereich unter Berücksichtigung des Forschungsprofils des Standorts
57 Studiengang Angewandte Informatik (AIN)
57 Studiengang Angewandte Informatik (AIN) ( Vorpraktikum Entfällt. (2) Studienaufbau Der Studiengang umfasst sieben Semester (zwei Semester Grundstudium und fünf Semester Hauptstudium). Das integrierte
Satzung zur Änderung der Fachprüfungsordnung für den Bachelorstudiengang Informatik und
Satzung zur Änderung der Fachprüfungsordnung für den Bachelorstudiengang Informatik und Multimedia der Fakultät für Angewandte Informatik der Universität Augsburg vom 25.07.2018 Auf Grund von Art. 13 Abs.
Praxis der Forschung im Wintersemester 2017/18
Praxis der Forschung im Wintersemester 2017/18 Prof. Dr.-Ing. Tamim Asfour, Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Jun.-Prof. Dr.-Ing. Anne Koziolek, Prof. Dr.-Ing. Torsten Kröger, Prof.
Fachbereich Informatik und Medien. Neuer Studienplan Bachelor Medieninformatik ab Sommersemester 2017
Fachbereich Informatik und Medien Neuer Studienplan Bachelor Medieninformatik ab Sommersemester 2017 Übersicht Motivation Neuer Studienplan Äquivalenzregelungen Besonderheiten im SS 2017 Beuth Hochschule
Bachelorstudium Informationstechnik
Universitätsstraße 65-67 A-9020 Klagenfurt Tel.-Nr. 0463/2700- Telefax: 0463/2700-9197 E-Mail: studabt@uni-klu.ac.at Internet: www.uni-klu.ac.at/studabt L 033 289 Matrikelnummer Kenn.Nr. Name Telefonnummer
Systemsicherheit ermöglicht Energiewende
Informationstag "IT-Sicherheit im Smart Grid" Berlin, 13.06.2013 Systemsicherheit ermöglicht Energiewende Jörn Müller-Quade, KASTEL, KIT Systemsicherheit ermöglicht Energiewende Jörn Müller-Quade, KASTEL,
Studienstruktur nach PO 2011 und PO (Projektseminar nur in PO 2014, in PO 2011 statt dessen Projektarbeit)
Vergleich der Studienstrukturen des Masterstudiengangs IMIT nach Prüfungsordnungen 2011 und 2014 1 Studienstruktur nach PO 2011 und PO 2014 (Projektseminar nur in PO 2014, in PO 2011 statt dessen Projektarbeit)
Die beste junge Uni Deutschlands* stellt sich vor
Konsequentes ist der entscheidende Erfolgsfaktor bei der Planung, Konzeption und Umsetzung großer komplexer Softwaresysteme. Erfolgreich a k k r e d r t! i ti e Fakultät für Ingenieurwissenschaften, Informatik
^ãíäáåüé=jáííéáäìåöéå. ^ãíäáåüé=jáííéáäìåöéå=
^ãíäáåüéjáííéáäìåöéå ^ãíäáåüéjáííéáäìåöéå ^ãíäáåüéjáííéáäìåöéå ^ãíäáåüéjáííéáäìåöéå POKg~ÜêÖ~åÖIkêK Kg~ÜêÖ~åÖIkêK Kg~ÜêÖ~åÖIkêK Kg~ÜêÖ~åÖIkêKMVI I I IMOKMRKOMNN MOKMRKOMNN MOKMRKOMNN MOKMRKOMNN JmêΩÑìåÖëçêÇåìåÖE_mlFòìãbêïÉêÄÇÉëeçÅÜëÅÜìäÖê~Çë
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Prof. Dr.-Ing. J. Teich
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Friedrich-Alexander-Universität Erlangen-Nürnberg Prof. Dr.-Ing. J. Teich Rückblick - Großrechner 2 Keine Computer im Haushalt? Ken Olsen, US-amerikanischer
Bachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten
Bachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten Übersicht BAI was ist das? Wichtige Unterlagen & wo sie zu finden sind Module, Credits
Modulliste. für den Masterstudiengang. Wirtschaftsinformatik. an der Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik
Modulliste für den Masterstudiengang Wirtschaftsinformatik an der Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik vom Wintersemester 2016/2017 Der Masterstudiengang Wirtschaftsinformatik
(2) Ergänzungen zu 5 Dauer, Umfang und Gliederung des Studiums, Kreditpunkte, Teilzeitstudium
Anlage 3 Studiengangsspezifische Anlage zum Studiengang (Fachmaster) vom 18.08.2017 (1) Ergänzungen zu 2 Studienziele Der Masterstudiengang bietet ein wissenschaftliches Vertiefungsstudium auf der Grundlage
Vierte Änderungssatzung zur Prüfungsordnung für den Masterstudiengang Wirtschaftsinformatik (Business Information Systems) an der Universität Leipzig
1/39 Universität Leipzig Wirtschaftswissenschaftliche Fakultät Vierte Änderungssatzung zur Prüfungsordnung für den Masterstudiengang Wirtschaftsinformatik (Business Information Systems) an der Universität
(in der Fassung vom 27. Juli 2017)
(in der Fassung vom 27. Juli 2017) 1 Studienumfang (1) Das Fach Informatik kann im Masterstudiengang als Erweiterungsfach mit einem Studienumfang von 120 ECTS-Credits studiert werden. (2) 90 ECTS-Credits
Vertiefungsrichtung Mechatronik
Was? Wer? Maschinenbau und Verfahrenstechnik Vertiefungsrichtung Mechatronik Wie? Was kommt dann? Institut für Mechatronik und Systemdynamik Prof. Dr.-Ing. A. Kecskemethy Prof. Dr.-Ing. W. Kowalczyk Prof.
Modulübersichtstabelle des Studienganges Master of Science Informatik
Master of Science (Seite 1 von 11) Modulübersichtstabelle des Studienganges Master of Science Modul/zugehörige Lehrveranstaltungen Prüfungsleistung Art/Dauer (Modulabschlussprüfung und/oder semesterbegleitende
Einführungsveranstaltung Master Medieninformatik
Einführungsveranstaltung Master Medieninformatik 18. Oktober 2010 Prof. Dr. Heinrich Hußmann Der Masterstudiengang Forschungsorientiert Abschluss: Master of Science ( M.Sc. ) Dauer: 4 Semester insgesamt
Lehrverflechtungsmatrix Praktische Informatik
Vorlesung Gesamt Prof. Dr. H. G. Folz 19.10.2010 Summe Deputate 34 38 51 44 33 34 49 32 39 42 38 30 35 32 27 18 24 26 24 20 37 20 79 Deputatsermäßigung 14 14 8 24 6 4 22 8 6 8 8 PI 297 51 297 99 395 18
Auszug AIFB. Module. _und_prüfung
Institut für Angewandtee Informatik und Formale Beschreibungsverfahren Auszug aus den Modulhandbüchern KIT Universitätt des Landes Baden-Württemberg und u nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Aktualisierte Modullisten für den Master-Studiengang Wirtschaftsinformatik - Version 2013 (Stand: ) Gültig für SS 2018
Aktualisierte Modullisten für den Master-Studiengang Wirtschaftsinformatik - Version 2013 (Stand: 16.01.2018) Gültig für 2018 Achtung: Für Lehrveranstaltungen ohne Semesterangabe ist zur Zeit nur eine
Einführung in die Softwaretechnologie
R O O T S Einführung in die Softwaretechnologie Wintersemester 2011 Dr. Günter Kniesel Institut für Informatik III Römerstr. 164, D-53117 Bonn gk@cs.uni-bonn.de http://sewiki.iai.uni-bonn.de/teaching/lectures/se/2011/
servicerobotik Autonome Mobile Serviceroboter
Monty (http://www.anybots.com/) Investition in Ihre Zukunft gefördert durch die Europäische Union Europäischer Fonds für regionale Entwicklung und das Land Baden-Württemberg Hochschule Ulm University of
Hochschulübergreifenden Studiengang Wirtschaftsingenieurwesen HWI
Herzlich willkommen im Hochschulübergreifenden Studiengang Wirtschaftsingenieurwesen HWI Prof. Dr.-Ing. Alfred Busse (Dept.-Leiter HWI) Beteiligte Hochschulen Hochschulübergreifend : Uni + HAW (+ HSU im
Studienplan FSPO 2014/2017 Master Informationssystemtechnik
Studienplan FSPO 2014/2017 Master Informationssystemtechnik Folgende Modulgruppen sind im Masterstudiengang Informationssystemtechnik zu absolvieren. In den Modulgruppen 1. bis 4. sind insgesamt 90 Leistungspunkte
Modultabelle. M.Sc. Computing in the Humanities (ab ) Fakultät Wirtschaftsinformatik und Angewandte Informatik
Otto-Friedrich-Universität Bamberg Modultabelle M.Sc. Computing in the Humanities (ab 01.10.2013) Fakultät Wirtschaftsinformatik und Angewandte Informatik Stand: Wintersemester 2013/2014 ID Modul Semester
M FPOBachInfMM
Fachprüfungsordnung für den Bachelorstudiengang Informatik und Multimedia der Fakultät für Angewandte Informatik der Universität Augsburg vom 27. Juli 2016 Auf Grund von Art. 13 Abs. 1 Satz 2 in Verbindung
Praxis der Forschung im WiSe 16/17
Praxis der Prof. Dr. Bernhard Beckert, Prof. Dr. Ralf Reussner, Prof. Dr.-Ing. Michael Beigl, Prof. Dr. Tamim Asfour, Prof. Dr. Peter Sanders, Prof. Dr. Wolfgang Karl, Prof. Dr. Martina Zitterbart 1 KIT
Software Engineering für kritische Systeme
Software Engineering für kritische Systeme (v. 31.01.2015) Prof. Dr. Jan Jürjens TU Dortmund, Fakultät Informatik, Lehrstuhl XIV und Fraunhofer Institut für Software- und Systemtechnik, Dortmund http://jan.jurjens.de
Studien- und Prüfungsordnung (StuPO): IT Security - Bachelor [Tabelle]
![Studien- und Prüfungsordnung (StuPO): IT Security - Bachelor [Tabelle]](/thumbs/24/3286568.jpg "Studien- und Prüfungsordnung (StuPO): IT Security - Bachelor [Tabelle]")
Studien- und Prüfungsordnung (StuPO): IT Security - Bachelor [Tabelle] Studienplan IT Security, B.Sc. (IT-Sec-CPS, IT-Sec-AD, IT-Sec-ITM, IT-Sec-ITS ) Prüfungsplan IT Security, B.Sc. Modul (M) / Modulteil
Studienverlaufsplan Informatik Master
Studienverlaufsplan Informatik Master 1. und. Semester Bezeichnung 1. Semester. Semester Credits Prüfung Fächer aus dem gewählten Schwerpunkt 1 SWS und Leistungsnachweise fachspezifisch 5 Fachspezifisch
37 Studiengang Informatik (MSI)
37 Studiengang Informatik (MSI) ( Studiengangsprofil Der Masterstudiengang Informatik ist ein stärker anwendungsorientierter, konsekutiver Studiengang in Vollzeit, der auf einen ersten berufsqualifizierenden
Vertiefungsrichtung Mechatronik
Was? Wer? Maschinenbau und Verfahrenstechnik Vertiefungsrichtung Mechatronik Wie? Was kommt dann? Institut für Mechatronik und Systemdynamik Prof. Dr.-Ing. A. Kecskeméthy Prof. Dr.-Ing. W. Kowalczyk Prof.
für den Masterstudiengang Wirtschaftsinformatik (Business Information
36/40 Universität Leipzig Wirtschaftswissenschaftliche Fakultät Sechste Änderungssatzung zur Prüfungsordnung für den Masterstudiengang Wirtschaftsinformatik (Business Information Systems) an der Universität
Virtuell oder schon Real Die Zukunft des digitalen Zwillings. Based on a real story
Virtuell oder schon Real Die Zukunft des digitalen Zwillings Based on a real story Mechanik mit Software Mechatronik gestern 1 Mechanik mit Software Software mit Mechanik Mechatronik gestern im Zeitalter
Anlage 2: Modulübersicht und Modulbeschreibungen. Modulübersicht. Modul LP 1 Benotet/ unbenoted
Modulübersicht Modul LP 1 Benotet/ unbenoted Regelprüfungstermin 2 Beginn Wintersemester Regelprüfungstermin 2 Beginn Sommersemester Pflichtmodule Einführung in Visual Computing benotet FS 1 FS 1 Forschungsthemen
Das Bayerische Kompetenznetzwerk für Mechatronik
2002 BKM Das Bayerische Vortrag auf der Fachtagung Mechatronik in Kronach Dr.-Ing. P. Ross Gliederung des Vortrages Definition von Mechatronik Wirtschaftliche Bedeutung der Mechatronik Das Bayerische Concurrent
Master of Science Informatik an der FAU
Master of Science Informatik an der FAU Universität Erlangen-Nürnberg 8. April 2016 Master of Science Informatik an der FAU 1/9 Questions & Answers Fragen? Master of Science Informatik an der FAU 2/9 Rahmenbedingungen
Modultabelle M.Sc. Computing in the Humanities Fakultät Wirtschaftsinformatik und Angewandte Informatik Stand: Wintersemester 2012/2013
Otto-Friedrich-Universität Bamberg Modultabelle M.Sc. Computing in the Humanities Fakultät Wirtschaftsinformatik und Angewandte Informatik Stand: Wintersemester 2012/2013 ID Modul Semester ECTS SWS Prüfung
Theorem Proving. Software Engineering in der Praxis. Prädikatenlogik. Software Engineering in der Praxis Wintersemester 2006/2007
Seite 1 Theorem Proving Prädikatenlogik Seite 2 Gliederung Warum Theorembeweisen? Wie funktioniert Theorembeweisen? Wie kann mir das Werkzeug KIV dabei helfen? Seite 3 Warum Theorembeweisen? Wie kann man
Tabelle der MASTER-Vorlesungen (CSM/CS3) für WS1718 Stand:
Tabelle der MASTER-Vorlesungen (CSM/CS3) für WS1718 Stand: 01.06.2017 Studiendekan CSM/CS3: Prof. Dr.-Ing. Oliver Kretzschmar Folgende Professoren sind im WS2017/18 im Forschungssemester: Sabiha Ghellal
Juniorstudium. Vorstellung & Organisation. Prof. Dr. Hans Effinger Prof. Dr.-Ing. Sebastian Schinzel
Juniorstudium Vorstellung & Organisation Prof. Dr. Hans Effinger Prof. Dr.-Ing. Sebastian Schinzel Kontakt: Campus Raum E 239b E-Mail effinger@fh-muenster.de Elektrotechnik und Informatik Der Fachbereich
WPM D: Integration und Erprobung mechatronischer Systeme 5) WPM E: Anwendungen 6) Modulnummer Lehrform/SWS Vorleistung Art/Dauer/Umfang
. Masterstudiengang Mechatronik PO 2008: Prüfungs- und Studienplan Sem. workload in 9 12 15 18 21 24 27 0 1 2 4 (Wahl-)Pflichtmodule Mechatronik 1) WPM B: Regelungstechnik ) WPM C: Komponenten mechatronischer
Informationsveranstaltung. für Studierende in den Master Studiengängen
Informationsveranstaltung für Studierende in den Master Studiengängen Übersicht Überblick über den Master Studiengang Informatik Anwendungsfächer Prüfungsorganisation Spezialisierte Masterstudiengänge
2. Prüfungs- und Studienplan 2.1 Prüfungs- und Studienplan Informatik Allgemein
2. Prüfungs- und Studienplan 2.1 Prüfungs- und Studienplan Allgemein Sem. LP 3 9 12 15 18 21 24 27 30 33 3 1 Imperative Programmierung Logik und Berechenbarkeit 2 Algorithmen und Datenstrukturen Digitale
28/37 Anlage zur Studienordnung des Studienganges Bachelor of Science Informatik Studienablaufplan/ Modulübersichtstabelle
28/37 Anlage zur Studienordnung des Studienganges Bachelor of Science Informatik Studienablaufplan/ Modulübersichtstabelle Modul und zugehörige Lehrveranstaltungen mit Gegenstand und Art (Umfang der LV)
Praxis der Forschung im SoSe 16
Praxis der Forschung im SoSe 16 Prof. Dr. Bernhard Beckert, Prof. Dr.-Ing. Michael Beigl, Prof. Dr. Ralf Reussner, Prof. Dr. Tamim Asfour, Jun.-Prof. Dr.-Ing. Anne Koziolek 1 19.04.16 B. Beckert, M. Beigl,
Hochschulübergreifenden Studiengang Wirtschaftsingenieurwesen HWI
Herzlich willkommen im Hochschulübergreifenden Studiengang Wirtschaftsingenieurwesen HWI Prof. Dr.-Ing. Alfred Busse (Dept.-Leiter HWI) Beteiligte Hochschulen Hochschulübergreifend : Uni + HAW (+ HSU im
Der Studiengang Wirtschaftsinformatik
Der Studiengang Studieninformationstag: Uni für Einsteiger, 21. November 2018 Prof. Dr. Alexander Mädche & Prof. Dr. Sebastian Abeck, Studiendekane für Merlin Knäble, Forum e.v. KIT Die Forschungsuniversität
Vorläufiger Studienplan zur GHPO I 2003 Informatik als Leitfach (30 / 24 SWS) oder affines Fach (18 / 12 SWS) Stufenschwerpunkt Hauptschule
Vorläufiger Studienplan zur GHPO I 2003 Informatik als (30 / 24 SWS) oder affines Fach (18 / 12 SWS) Stufenschwerpunkt Hauptschule Der Studienplan ist vorläufig (Stand: 07.05.04). Die zugehörige Studienordnung
Angewandte Informatik. Bachelorstudiengang.
Angewandte Informatik Bachelorstudiengang www.hs-weingarten.de Digitalisierung mitgestalten Computer und Software sind aus unserem Alltag nicht mehr wegzudenken. Sie stecken in der Autoelektronik und im
M FPOBachelorInformatik
Fachprüfungsordnung für den Bachelorstudiengang Informatik der Fakultät für Angewandte Informatik der Universität Augsburg vom 27. Juli 2016, geändert durch Satzung vom 28. Februar 2017 [*] Auf Grund von
48 Masterstudiengang Mechatronische Systeme
48 Masterstudiengang Mechatronische Systeme (1) Der Gesamtumfang der für den erfolgreichen Abschluss des Studiums erforderlichen en im Pflicht- und Wahlpflichtbereich beträgt 90 (ECTS). Arbeits- einschließlich
Praxis 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
Orientierungsvorlesung Theoretische Informatik Algorithmen und Kombinatorik Auf der Suche nach schönen Strukturen
Orientierungsvorlesung Theoretische Informatik Algorithmen und Kombinatorik Auf der Suche nach schönen Strukturen Rolf Wanka Universität Erlangen-Nürnberg 29. November 2017 Shearsort: 2-dimensionales Gitter
Informatik-Studiengänge an der Universität Augsburg
Informatik-Studiengänge an der Universität Augsburg Schülerinfotag 2016 Robert Lorenz, Lehrprofessur für Informatik, Studiendekan Informatik Fakultät für Angewandte Informatik 09. April 2016 Übersicht
Programmieren 2 - Java
Programmieren 2 - Java Fachhochschule Wiesbaden, FB Informatik Studiengang Medieninformatik Vorlesung im SS 2002 1 Ziele Ausbau der bisherigen Fertigkeiten und Techniken des Programmierens in Java mit
Amtliche Mitteilungen
Amtliche Mitteilungen Datum 25. April 2017 Nr. 29/2017 I n h a l t : Dritte Ordnung zur Änderung der Prüfungsordnung für den Master-Studiengang Informatik der Naturwissenschaftlich-Technischen Fakultät
Umbuchungen im Master-Studiengang Technische Informatik für den Wechsel von der PO 2010 zur PO 2017
Umbuchungen im Master-Studiengang Technische Informatik für den Wechsel von der PO 2010 zur PO 2017 Allgemeine Umbuchungsregeln: Für alle bisherigen Studierenden, die sich nach dem Prüfungszeitraum Sommersemester
Studienplan FIW 15.06.2015. Bachelor Informatik 2015ws. Inf 2 Algebra (sem. Unterricht) 4 5 x sp Kl90 ein beidseitig handbeschr.,
Inf 1 Algebra (sem. Unterricht) 4 5 x sp Kl90 ein beidseitig handbeschr., Inf 1 Algorithmik (sem. Unterricht) 3 4 ssp oder Kl90 keine nicht kopiertes DIN-A4 Blatt; nicht prog. Taschenrechner Inf 1 Algorithmik
Anerkennung von Studien- bzw. Prüfungsleistungen für das Fach Erstfach Informatik
Fächerübergreifender Bachelorstudiengang PO 2018 von Studien- bzw. Prüfungsleistungen für das Fach Erstfach Informatik Matrikelnummer: Name, Vorname: Anschrift: E-Mail: Telefon: Dieses Formular ist im
(in der Fassung vom 26. Juli 2018)
(in der Fassung vom 26. Juli 2018) 1 Studienumfang (1) Das Fach kann im Masterstudiengang als Erweiterungsfach mit einem Studienumfang von 120 ECTS-Credits studiert werden. (2) 90 ECTS-Credits (cr) sind
Veranstaltungen WiSe 2014/15
Veranstaltungen WiSe 2014/15 Institut für Betriebswirtschaftslehre und Wirtschaftsinformatik Arbeitsgruppe Informationssysteme und Unternehmensmodellierung Prof. Dr. Ralf Knackstedt Übersicht WI Master
Angewandte Informatik. (Ingenieur- und Medieninformatik)
Vorstellung Entwicklung der Informatik Bachelor/Master (Bologna-Prozess) Studienorganisation Bachelor (Ingenieur- und Medieninformatik) Prof. Abteilung für Informatik und Angewandte Kognitionswissenschaft
Master in Computer Science at Humboldt-Universität zu Berlin. Ulf Leser
Master in Computer Science at Humboldt-Universität zu Berlin Ulf Leser Master of Science Regelstudienzeit 4 Semester Pro Semesterwoche ca. 20 Stunden Pro Semester ca. 2-3 Prüfungen Ausschließlich vertiefende
Formale Verifikation von Software. 8. Juli 2015
Formale Verifikation von Software 8. Juli 2015 Überblick Wann ist formale Softwareverifikation sinnvoll? Welche Techniken gibt es? Was ist Model Checking und wie kann man es zur Verifikation einsetzen?
Hochschule Pforzheim. Informationsveranstaltung Master Studiengänge
23.04.2018 Hochschule Pforzheim Informationsveranstaltung Master Studiengänge Herzlich Willkommen! 3 Master- Programme Hochschule Pforzheim Zahlen Hochschule Pforzheim Studierende: ca. 6200 (Stand: 2018)
Angewandte Informatik, Master of Science
Universität Duisburg-Essen, Vorlesungsverzeichnis () Heisel Bembenek Marrón Shih Heisel Angewandte Informatik, Master of Science Vertiefung der Informatik Echtzeitsysteme Mo 10-12, BC 523 Do 12-13, BC
Masterstudium Medieninformatik. Univ.Prof. Dr. Wolfgang KLAS 30. Juni 2010
Masterstudium Medieninformatik Univ.Prof. Dr. Wolfgang KLAS 30. Juni 2010 Masterstudium Medieninformatik Univ.Prof. Dr. Wolfgang KLAS 30. Juni 2010 Fact Sheet Master Medieninformatik Studienkennzahl: 066
Klausurtermine Elektrotechnik WS 2018/19 Stand: Änderungen rot markiert vorbehalten!
Klausurtermine Elektrotechnik WS 2018/19 Stand: 16.10.2018 Änderungen rot markiert vorbehalten! WICHTIG! Bitte informieren Sie sich vor der Prüfung bei den Instituten wegen möglicher Raumänderungen. Wochentag