Generative Software Engineering - Einzelansicht

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

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

Lecturer: Prof. Ringert

Homework for admission to exam

Exam weighted 100% for final mark

M.Sc. Computer Science for Digital Media

M.Sc. Digital Engineering

M.Sc. Human Computer Interaction