M-ATSWT-S: Aktuelle Themen der Softwaretechnologie

Software-Technologie entwickelt sich kontinuierlich weiter, um neuen Herausforderungen durch neue Hardware, Software, Entwicklungsprozessen und Anwendungsformen gerecht zu werden. Aus diesen Gründen entstehen jedes Jahr neue Software-Werkzeuge, Programmiersprachen, und andere Formen von Softwareentwicklungsinfrastruktur.

In diesem Seminar behandeln wir einige der aktuellen Themen der Softwaretechnologie, betrachten aber auch ältere Konzepte, die ihnen zugrunde liegen.

Themenschwerpunkte für das WS 13/14:

Terminkalender

DatumUhrzeitNummerThemaVortragendeFolien
10.12.2013 14:00 1 Program Refactoring, Program Synthesis, and Model-Driven Development Grzegorz Lato
15:00 1.1 A comparative study of manual and automated refactorings Hung Nguyen [pdf]
16:00 1.2 Use, Disuse, and Misuse of Automated Refactorings Michael Kriese [pdf]
17:00 1.4 Program Metamorphosis Silvia Walk [pdf]
 
21.01.2014 14:00 1.5 Crossing the Gap from Imperative to Functional Programming through Refactoring Serban Cantea [pdf]
15:00 2.1 Aspektorientierte Programmierung und AspectJ Markus Wondrak [pdf]
16:00 2.4 Template Haskell Nicole Stender [pdf]
17:00 2.5 Language Workbenches Arthur Rehm und Steven Cardoso [pdf]
 
04.02.2014 14:00 3 Refactoring the UrQMD Model for Many-Core Architectures Mathias Radtke [pptx] [pdf] [mpeg (Simulation)]
15:00 3.2 Relaxed Separation Logic: A Program Logic for C11 Concurrency Manuel Penschuck [pdf]


Struktur der Veranstaltung

Weitere Informationen werden in der Themenbesprechung bekanntgegeben.