Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Switch to english language
Startseite    Anmelden     
Logout in [min] [minutetext]
WiSe 2024/25

Generative Software Engineering - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer 422150031 Max. Teilnehmer/-innen 30
Semester SoSe 2024 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus einmalig
Hyperlink  
Sprache englisch
Termine Gruppe: [unbenannt]
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Mo. 09:00 bis 11:00 Einzel am 05.08.2024 Coudraystraße 13 B - Hörsaal 3  

written exam

 
Einzeltermine anzeigen
Mi. 09:15 bis 10:45 wöch. Marienstraße 13 C - Hörsaal D  

Lecture

 
Einzeltermine anzeigen
Fr. 13:30 bis 15:00 wöch. Coudraystraße 13 B - Hörsaal 3  

Lab class

 
Gruppe [unbenannt]:
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
M. Sc. Computer Science and Media (M.Sc.), PV 11 - 6
M. Sc. Digital Engineering (M.Sc.), PV 17 - 6
M. Sc. Human-Computer Interaction (M.Sc.), PV15 - 6
M. Sc. Human-Computer Interaction (M.Sc.), PV17 - 6
M. Sc. Digital Engineering (M.Sc.), PV 19 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 18 - 6
M. Sc. Human-Computer Interaction (M.Sc.), PV19 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 2020 - 6
M. Sc. Digital Engineering (M.Sc.), PV 2023 - 6
M. Sc. Computer Science for Digital Media (M.Sc.), PV 17 - 6
Zuordnung zu Einrichtungen
Fakultät Medien
Inhalt
Beschreibung

We introduce main approaches and techniques to generative software development.

  • Model Driven Engineering
  • Software Modeling languages for structure and behavior
    • Class Diagrams, Object Diagrams, OCL
    • Sequence Diagrams and State Machines
  • Software model consistency and semantics
  • Code Generation from class diagrams
  • Code generation from State Machines
  • Reactive Synthesis from temporal specifications
  • Software Product Lines
  • Domain Specific Languages
  • Model Transformations

 

After completion students will be able to

  • Contrast different modelling languages and chose based on purpose
  • Analyze model consistency
  • Evaluate and apply code generators
  • integrate generated code in software projects
  • create and analyze temporal specifications
  • synthesize software from temporal specifications
  • understand domain specific languages and model transformations
Literatur

Slides, selected video recordings, and links to literature will be shared during the lecture

Bemerkung

Lecturer: Prof. Ringert

Leistungsnachweis

Homework for admission to exam

Exam weighted 100% for final mark

Zielgruppe

M.Sc. Computer Science for Digital Media

M.Sc. Digital Engineering

M.Sc. Human Computer Interaction


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2024 , Aktuelles Semester: WiSe 2024/25

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz