Hauptsächliche Inhalte dieses Masterprogramms sind einige der grundlegendsten Methoden und Techniken zur formalen Entwicklung von effizienten Algorithmen aus gegebenen formalen Problemspezifikationen. Dies betrifft insbesondere formale Spezifikationstechniken (beispielsweise mittels logischer Formeln), mathematische Methoden zur Programmverifikation (wie etwa die Zusicherungsmethode oder solche, die auf Fixpunkttheorie aufbauen), das systematische Entwickeln von Programmen (etwa im Sinne von transformationellem Programmieren) und Prinzipien zur Algorithmengewinnung (wie Teile und herrsche, dynamisches Programmieren oder Backtracking). Wegen der Formalität des Vorgehens bietet sich auch eine Unterstützung durch Werkzeuge an, etwa durch Theorembeweiser oder Systeme zur Animation von Programmen, zur Manipulation von Formeln und Ausdrücken und zur Softwarevisualisierung.
| WS09/10 | MS0402 MS0202 |
| SS10 | MS0301 MS0901 MS0403 |
| WS10/11 | MS0303 |
beim Research Advisor
beim Research Advisor
beim Research Advisor
nach Wahl der Studierenden in Absprache mit dem Academic Advisor
nach Wahl der Studierenden in Absprache mit dem Academic Advisor