Menü
Positionsanzeige
Inhalt

[ 404SWTE12 ] Subject Software technology
Versionsauswahl
Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Master's programme Computer Mathematics 2018W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Mode of examination Education level Study areas Responsible person Coordinating university
12 ECTS Accumulative subject examination M1 - Master's programme 1. year Mathematics Walter Zulehner Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Mathematics 2012W
Objectives (*)In diesem Fach werden die in der "Praktische Informatik" gelegten Grundlagen weiter vertieft. Einerseits wird die praktische Anwendung softwaretechnologischer Konzepte im Umfeld der objektorientierten Programmierung mit Hilfe aktueller Werkzeuge vermittelt. Die Studierenden werden damit in die Lage versetzt, an komplexeren Entwicklungsprojekten produktiv mitzuarbeiten. Andererseits lernen die Studierenden die formalen Grundlagen der Entwicklung korrekter Software kennen und werden befähigt, Programm(modell)e formal zu spezifizieren und zu verifizieren.
Subject (*)Praktische Softwaretechnologie: Objektorientierte Programmierung in Java, Softwareentwicklungsumgebungen, Versionskontrolle, Modellierungssprachen (UML), Entwurfsmuster, Testumgebungen, Ausblick auf Klienten/Server-Architekturen und Web-Anwendungen.

Formale Methoden in der Software-Entwicklung: Hoare-Kalkül, Dijkstra-Semantik (schwächste Vorbedingungen, stärkste Nachbedingungen), relationale Semantik; Spezifikation und Verifikation von Java-Programmen (JML); Spezifikation und Verifikation nebenläufiger Systeme, temporale Logik, model checking; praktischer Umgang mit Verifikations-Software.

Subordinated subjects, modules and lectures