Digicampus
Seminar: Seminar zu Software- und Systems Engineering (Master) - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird online/digital abgehalten.

Allgemeine Informationen

Veranstaltungsname Seminar: Seminar zu Software- und Systems Engineering (Master)
Semester SS 2017
Aktuelle Anzahl der Teilnehmenden 1
erwartete Teilnehmendenanzahl 6
Heimat-Einrichtung Softwaretechnik
beteiligte Einrichtungen Fakultät für Angewandte Informatik, Institut für Informatik, Institut für Software- and Systemengineering
Veranstaltungstyp Seminar in der Kategorie Lehre
Vorbesprechung Montag, 08.05.2017 13:00 - 14:00
Erster Termin Montag, 08.05.2017 13:00 - 14:00, Ort: (N3018)
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 4

Räume und Zeiten

(N3018)
Montag, 08.05.2017 13:00 - 14:00

Kommentar/Beschreibung

In dem Seminar werden aktuelle Themen aus dem Umfeld des Software- und Systems Engineering behandelt.

Es stehen folgende Themen noch zur Auswahl:
* Boa: Eine Infrastruktur für ultra-large-scale Studien im Software Repository Mining
* Softwarevisualisierung
* Data-Race Detection am Beispiel RV-Predict (https://runtimeverification.com/predict/) oder JavaPathfinder (http://babelfish.arc.nasa.gov/trac/jpf)
* Dynamic Frames zur Verifikation Heap-basierter Programme (siehe "Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions" von Ioannis T. Kassios)
* Static Driver Verifier von Microsoft (siehe z.B. https://www.microsoft.com/en-us/research/project/slam/ und "SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft" von Thomas Ball, Byron Cook, Vladimir Levin und Sriram K. Rajamani)
* Region Logic ebenfalls zur Verifikation Heap-basierter Programme (siehe "Local Reasoning for Global Invariants, Part I: Region Logic" von Anindya Banerjee, David A. Naumann und Stan Rosenberg)
* eigener Themenvorschlag aus dem Bereich der Nebenläufigkeit, formalen Methoden oder statischen Analyse sind ebenfalls herzlich willkommen

bereits vergeben sind:
* Softwaremetriken zur Vorhersage der Softwarequalität
* Software Transactional Memory am Beispiel von ScalaSTM (https://nbronson.github.io/scala-stm/)
* C++ Memory Model (siehe "Foundations of the C++ Concurrency Memory Model" von Hans-J. Boehm und Sarita V. Adve)

Melden sie sich bis zum 05.05 per E-Mail bei pfaehler@isse.de mit einem von dem obigen Themen oder einem eigenen, passenden Themenvorschlag. Eine erste Besprechung findet dann am 08.05 um 13:00 in 3018N statt.

Die Themen werden first-come-first-serve vergeben und die bereits vergebenen Themen werden hier entsprechend markiert. Die oben angegebenen wissenschaftlichen Veröffentlichungen sind aus dem Netzwerk der Universität Augsburg (von Zuhause auch über VPN) auch für Studenten kostenlos herunterladbar.