2016-seminare

Bachelor-/Masterseminar im WS 16/17
(Prof. Dr. W. Hasselbring)
http://se.informatik.uni-kiel.de
Vorbesprechungstermin mit konkreten Themen: 26.10. um 9:00 Uhr im Raum 1210 (CAP4)
Inf-Sem-SE
Bachelorseminar Software Engineering
2S
4
Inf-MSEMSER
Masterseminar: Empirical Methods in Software Engineering Research
2S
5
Themenbereiche
Analyse von (SQL) Datenbankaufrufen
http://www.explorviz.net
(2D / 3D) Live (Datenbank) Trace Visualisierung
Verhaltensanalyse von Anwendern, z.B. Eye-Tracking
Erprobung neuer Interaktionskonzepte (z.B. VR, BCI)
Themenbereiche
Improving the Pipe-and-Filter (P&F) Architectural Style
Domain-Specific Languages for: P&F and Parallelization
Semi-Automatic Parallelization of Java/C++/C# Applications
Pattern-Matching with Graph Databases
http://teetime.sf.net
AG Algorithmen und Komplexität
Seminar Algorithmen und Komplexität
Energieeffiziente Algorithmen
I
Energie als Ressource
I
algorithmische Techniken zur
Energieersparnis
Themen
I
I
I
Abschaltung bei
Inaktivität
Dynamic Speed Scaling
Seminar: Formale Softwareverifikation
Prof. Dr. Dirk Nowotka
Thorsten Ehlers
Philipp Sieweck
Arbeitsgruppe Zuverlässige Systeme
7. Juli 2016
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
1
[gas2.org]
Motivation
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
2
Formale Softwareverifikation
Nachweis von Programmeigenschaften mittels formaler Methoden
Grundlegende Verfahren
Model Checking mit Temporallogiken (z.B. LTL, CTL)
Bounded Model Checking mit Aussagenlogik
Erfüllbarkeit erweiterter“ Aussagenlogik (SMT)
”
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
3
Formale Softwareverifikation
Nachweis von Programmeigenschaften mittels formaler Methoden
Grundlegende Verfahren
Model Checking mit Temporallogiken (z.B. LTL, CTL)
Bounded Model Checking mit Aussagenlogik
Erfüllbarkeit erweiterter“ Aussagenlogik (SMT)
”
Werkzeuge
etablierte Model Checker
z. B. SPIN und Alloy
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
3
Formale Softwareverifikation
Nachweis von Programmeigenschaften mittels formaler Methoden
Grundlegende Verfahren
Model Checking mit Temporallogiken (z.B. LTL, CTL)
Bounded Model Checking mit Aussagenlogik
Erfüllbarkeit erweiterter“ Aussagenlogik (SMT)
”
Werkzeuge
etablierte Model Checker
z. B. SPIN und Alloy
Fallstudien
z. B. mit SPIN und Alloy
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
3
Formale Softwareverifikation
Nachweis von Programmeigenschaften mittels formaler Methoden
Grundlegende Verfahren
Model Checking mit Temporallogiken (z.B. LTL, CTL)
Bounded Model Checking mit Aussagenlogik
Erfüllbarkeit erweiterter“ Aussagenlogik (SMT)
”
Werkzeuge
etablierte Model Checker
z. B. SPIN und Alloy
Fallstudien
z. B. mit SPIN und Alloy
FSV im Softwareentwicklungsprozess
Erfahrungsberichte aus der Praxis (Coverity)
komplettes Softwareprojekt mit ADA
Vergleich von verschiedenen Ansätzen
{dn,the,psi}@...
Seminar: Formale Softwareverifikation
7. Juli 2016
3
Layoutalgorithmen
Inf-Sem-Echtz:Seminar Echtzeitsysteme/EingebetteteSysteme(Layout)
Poweredby
Layoutalgorithmen
Inf-Sem-Echtz:Seminar Echtzeitsysteme/EingebetteteSysteme(Layout)
Force-Directed
Orthogonal
Layer-Based