Allgemeine Informationen

Veranstaltungsname	Vorlesung: 03-IMVP-PROSY Programmsynthese
Untertitel
Veranstaltungsnummer	03-IMVP-PROSY
Semester	SoSe 2025
Aktuelle Anzahl der Teilnehmenden	8
Heimat-Einrichtung	Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Montag, 14.04.2025 10:00 - 12:00, Ort: MZH 1450
Art/Form
Englischsprachige Veranstaltung	Ja
ECTS-Punkte	6

Lehrende

Räume und Zeiten

MZH 1450: Montag: 10:00 - 12:00, wöchentlich (11x); Donnerstag: 12:00 - 14:00, wöchentlich (11x)

Modulzuordnungen

Universität Bremen
- Informatik Informatik (Bachelor), 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-BA-IBGS-FW - General Studies - Freie Wahl (gültig ab WiSe 2020/2021)
      - Freie Wahl
- Informatik Informatik (Master) mit Schwerpunkt VMC, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik Informatik (Master) mit Schwerpunkt DMI, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
- Informatik Informatik (Master) mit Schwerpunkt AI, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Artificial Intelligence (AI) - Pflicht
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
- Informatik Informatik (Master) mit Schwerpunkt SQ, 3. Version gültig ab WiSe 2024/2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Ergänzung
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
  - Schwerpunkt Sicherheit und Qualität (SQ) - Pflicht
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (SQ)
- Informatik Informatik (Master) ohne Schwerpunkt, 4. Version gültig ab SoSe 2025
  - General Studies
    - 03-INF-MA-IM-GS - General Studies - Fachergänzende Studien (gültig ab WiSe 2024/2025)
      - General Studies
  - Vertiefung - Pflicht
    - 03-INF-MA-IMV - Vertiefung Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Informatik
    - 03-INF-MA-IMVP. - Vertiefung Praktische Informatik (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik
- Mathematics Master Mathematics (Single Major Subject) with Application Subject, 4. Version SoSe 2025
  - Application Subject - Computer Science - Compulsory Elective Modules
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (SQ)
- Industrial Mathematics and Data Analysis Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Data Analysis, 4. Version gültig ab SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (SQ)
- Industrial Mathematics and Data Analysis Master Industrial Mathematics and Data Analysis (Single Major Subject) with Focus on Industrial Mathematics, 4. Version gültig ab SoSe 2025
  - Technical Application Subject - Computer Science
    - 03-INF-MA-IMVP-AI - Vertiefung Praktische Informatik (AI) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (AI)
    - 03-INF-MA-IMVP-SQ - Vertiefung Praktische Informatik (SQ) (gültig ab WiSe 2023/2024)
      - Vertiefung Praktische Informatik (SQ)
- Master Systems Engineering II MA Studiengang Systems Engineering II, 3. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Vertiefung
    - 04-PT-MA-M07-VT-ESS - Modul Vertiefung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltung im Umfang von 6 CP für das Modul Vertiefung (ESS)
- Master Systems Engineering I MA Studiengang Systems Engineering I, 2. Version gültig ab SoSe 2024
  - Vertiefungsmodule - Vertiefung
    - 04-PT-MA-M07-VT-ESS - Modul Vertiefung (in der Vertiefungsrichtung Eingebettete Systeme und Systemsoftware) (gültig ab WiSe 2021/2022)
      - Lehrveranstaltung im Umfang von 6 CP für das Modul Vertiefung (ESS)

Kommentar/Beschreibung

https://lvb.informatik.uni-bremen.de/imvp/03-imvp-prosy.pdf
Schwerpunkt: IMVP-SQ

Anmeldemodus

Die Auswahl der Teilnehmenden wird nach der Eintragung manuell vorgenommen.

Nutzer/-innen, die sich für diese Veranstaltung eintragen möchten, erhalten nähere Hinweise und können sich dann noch gegen eine Teilnahme entscheiden.

Vorlesung: 03-IMVP-PROSY Programmsynthese - Details