TU Berlin

Theor. Informatik / Formale SpezifikationFormale Spezifikationstechniken

Inhalt des Dokuments

zur Navigation

Seminar: Formale Spezifikationstechniken (Forschungskolloquium TFS)

0434 L 273: Formale Spezifikationstechniken
Master-Studiengang: MINF-VS-TFS/Aktuell.W11, MINF-VS-TFS/AktuSE.W11
Diplom-Studiengang: Vertiefungsveranstaltung im Studiengebiet THI

TERMIN: Montags 12:00-14:00 im Raum FR 6510
(wenn nicht anders angegeben)

Vorträge
Datum
Titel
17.10.11
Claudia Ermel
Visual Modelling based on Graph Transformation: Modelling Languages and Model Transformations (Ermunterungsvortrag Habilvorhaben)
24.10.11


<Name>
<Titel>
31.10.11



Tony Modica
Modellierung und Analyse mit AHOI-Netzen am Anwendungsbeispiel Skype (Dissertationsüberblick)
7.11.11
Olga Runge
AGG 2.0 und Anwendung zur Datenreduktion
14.11.11


Kathrin Hoffmann
Fit für Digitale Soziale Netzwerke (Abstract)
21.11.11
<Name>
<Titel>
28.11.11


Christoph Brandt (University of Luxemburg)
Enterprise Modelling Framework based on Algebraic Graph Transformation
5.12.11
<Name>
<Titel>
12.12.10
<Name>
<Titel>
9.1.12
Mascha Maximova
F-Transfer of Local Confluence, Termination and Nested Application Conditions
16.1.12
Hanna Schölzel
Model Transformation of Model Fragments Using Borrowed Context
23.1.12
Frank Hermann
Correctness of Concurrent Model Synchronization Based on Triple Graph Grammars
30.1.12
<Name>
<Titel>
8.2.12
Karsten Gabriel
Algebraic High-Level Nets and Processes Applied to Communication Platforms


Abstracts

Prof. Kai von Luck, Dr. Kathrin Hoffmann (HAW Hamburg):
Fit für Digitale Soziale Netzwerke

Abstract: Die teilweise dramatischen Umbrüche des Informations- und Kommunikationsverhaltens auf Basis digitaler sozialer Netze führen zwangsläufig zur Neuorientierung der Informations- und Kommunikationsspezialisten „alter Schule“. Technische Innovationen wie die Digitalisierung sozialer Netzwerke und die mit ihnen einhergehenden gesellschaftlichen Veränderungen müssen von uns zunächst verstanden und akzeptiert werden, bevor sie ggf. eingesetzt werden können. Eine neue Herausforderung ist es, selbst aktiv gestaltend auf Kommunikationsprozesse innerhalb dieser digitalisierten sozialen Netzwerke einzuwirken oder Informationen aus diesen Netzen professionell zu nutzen. Die modernen Theorien der sozialen Netzwerke betonen die Notwendigkeit der Koordination und Kooperation zwischen ihren Mitgliedern. Nur wenn Menschen in den zentralen sozialen Systemen kooperieren, gelingen erstrebenswerte Veränderungen und können Synergieeffekte entstehen. Und nur wenn ein grundlegendes Verständnis der Funktion und der Einsatzmöglichkeiten digitaler sozialer Medien vorhanden ist, können sie diese gewinnbringend eingesetzt werden.

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe