Automated Programming

Worum geht's

Du lernst aktuelle Methoden der automatisierten Programmsynthese an der Schnittstelle von Software Engineering, KI und Machine Learning. Am Ende kennst du verschiedene Spezifikationsansätze für funktionale, reaktive und probabilistische Programme sowie Techniken, um Programme zu suchen oder zu erzeugen, die diese Spezifikationen erfüllen.

Was du danach kannst

• Grundlegendes Verständnis der Dimensionen der automatisierten Programmsynthese
• Kenntnis verschiedener Spezifikationsansätze (funktional, reaktiv, probabilistisch)
• Vertrautheit mit Such- und Synthesetechniken (deduktiv, transformativ, induktiv, lernbasiert)
• Überblick über Fähigkeiten und Grenzen aktueller Syntheseverfahren
• Vorbereitung auf wissenschaftliche Arbeiten oder Anwendung in Spezialanwendungen

Aus was das Modul besteht

• VorlesungVermittlung der Konzepte und Algorithmen; Vortrag mit Folien
• Praktische ÜbungenAnwendung der Methoden; einige interaktiv in der Vorlesung, andere als Selbststudium

Lehrmethode

• Vorlesung mit FolienEinführung und Erklärung der Themen
• Praktische Übungen (teilweise interaktiv)Festigung und Anwendung des Gelernten; einige Aufgaben als Selbststudium