183.674 Seminar in Technischer Informatik
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2024S, SE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar
  • Format der Abhaltung: Online

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  • ausgewählte Problemstellungen der technischen Informatik einer entsprechenden Lösung zuzuführen
  • die erarbeiteten Lösungen einer kritischen Analyse zu unterziehen

Inhalt der Lehrveranstaltung

  • Rückblick über die wissenschaftliche Arbeitsweise
  • Literatursuche und Literaturvergleich
  • Abfassung von Papers (Aufbau, Planung)
  • Präsentation einer wissenschaftlichen Arbeit

Im SS20 konzentriert sich das Seminar auf neueste Erkenntnisse zum Thema Verifikation für Multi-Threaded Shared Memory Systeme mit schwachem Speichermodel. Einige Arbeiten, die in den letzten Jahren veröffentlicht wurden, werden studiert werden. Studenten werden diese Arbeiten analysieren und im Rahmen eines Vortrags präsentieren.

Methoden

  • Studieren ausgewählter Probleme der technischen Informatik an Hand wissenschaftlicher Artikel

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien zum Umgang mit Plagiaten: Leitfaden zum Umgang mit Plagiaten (PDF)

Vortragende Personen

Institut

Leistungsnachweis

  • Beurteilen von Mitarbeit und Präsentation der besprochenen Probleme und Lösungen

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 938 Technische Informatik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Deutsch