Software Engineering
Master
In Linz (Österreich)
Beschreibung
-
Kursart
Master
-
Ort
Linz (Österreich)
-
Dauer
2 Jahre
Verständnis der grundlegenden Konzepte der formalen Spezifikation von Programmen und Systemen sowie des formalen Schließens über die Korrektheit von Implementierungen in Bezug auf die Spezifikation. Praktischer Umgang mit diesen Prozess unterstützenden Software-Werkzeugen wie Beweis-Assistenten, statischen Checkern, und Model Checkern.
Standorte und Zeitplan
Lage
Beginn
Beginn
Hinweise zu diesem Kurs
Voraussetzung für die Zulassung zu einem Masterstudium dieses Curriculums ist der erfolgreiche Ab-schluss des Bachelorstudiums Informatik an der Johannes Kepler Universität Linz oder eines gleichwerti-gen Studiums an einer anderen Universität oder Fachhochschule.
Meinungen
Inhalte
Das Masterstudium deckt die formalen Grundlagen, Methoden und Werkzeuge der einzelnen Projektphasen ab, vom Requirements Engineering über die Modellierung und das Architekturdesign bis zur Implementierung, dem Softwaretest sowie der Einführung und Wartung von Softwaresystemen. Im Vordergrund stehen dabei wissenschaftliche Methoden sowie ihre Umsetzung zur wirtschaftlichen Herstellung qualitativ hochwertiger Software.
Tätigkeitsbereiche
Wirtschaft und Industrie haben einen großen Bedarf an fundiert ausgebildeten Software-IngenieurInnen, die in der Lage sind, große Softwareprojekte zu leiten, neueste Methoden der Softwareentwicklung umzusetzen sowie alle Phasen des Softwareentwicklungsprozesses zu überblicken. Das Masterstudium Software Engineering zielt darauf ab, solche Fachleute auszubilden.
Die Rolle formaler Methoden in der Software-Entwicklung; die Spezifikation und Verifikation imperativer Programme (Hoare-Kalkül, der Computerunterstützte Beweis von Verifikationsbedingungen mit dem RISC ProofNavigator); die Spezifikation und Verifikation von Java Programmen (die Java Modeling Language JML, Extended Static Checking von Java/JML mit ESC/Java2, Verifikation von Java/JML mit KeY); die Spezifikation und Verifikation von nebenläufigen Systemen (Modellierung von Systemen, die Spezifikation von Systemeigenschaften in temporaler Logik, die Verifikation von Systemeigenschaften mit dem RISC ProofNavigator und dem Model Checker Spin).
Studienbeginn: Wintersemester
Bewerbungsfrist: Wintersemester 6 Juli- 29 Oktober 2009
Sommersemester 1 Februar- 29 März 2010
Zusätzliche Informationen
Software Engineering