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]
SoSe 2024

Generative Software Engineering - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung SWS 4
Veranstaltungsnummer 422150031 Max. Teilnehmer/-innen
Semester SoSe 2022 Zugeordnetes Modul
Erwartete Teilnehmer/-innen
Rhythmus
Hyperlink  
Sprache englisch
Termine Gruppe: [unbenannt]
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
Di. 13:30 bis 15:00 wöch. von 05.04.2022  Marienstraße 13 C - Hörsaal A  

Lecture

 
Einzeltermine anzeigen
Fr. 13:30 bis 15:00 wöch. von 08.04.2022  Coudraystraße 9 A - Hörsaal 6  

Lab class

 
Einzeltermine anzeigen
Mo. 09:00 bis 11:00 Einzel am 08.08.2022 Coudraystraße 13 B - Hörsaal 3  

written exam

 
Gruppe [unbenannt]:
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Ringert, Jan, Prof., Dr.rer.nat.
Studiengänge
Abschluss Studiengang Semester Leistungspunkte
Master Computer Science and Media (M.Sc.), PV 11 - 6
Master Human-Computer Interaction (M.Sc.), PV17 - 6
Master Digital Engineering (M.Sc.), PV 17 - 6
Master Human-Computer Interaction (M.Sc.), PV15 - 6
Master Computer Science for Digital Media (M.Sc.), PV 18 - 6
Master Digital Engineering (M.Sc.), PV 19 - 6
Master Human-Computer Interaction (M.Sc.), PV19 - 6
Master Computer Science for Digital Media (M.Sc.), PV 2020 - 6
Master 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

Zielgruppe

M.Sc. Computer Science for Digital Media

M.Sc. Digital Engineering


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

BISON-Portal Startseite   Zurück Kontakt/Impressum Datenschutz