185.325 Seminar aus Software Entwicklung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2015S, SE, 2.0h, 3.0EC, wird geblockt abgehalten
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: SE Seminar

Ziele der Lehrveranstaltung

Förderung der Fähigkeit zur gezielten Recherche eines Themas sowie zur Aufbereitung und Präsentation in einer schriftlichen Arbeit und in einem Vortrag. Vermittlung neuer Kenntnisse im Bereich der Software Entwicklung.

Inhalt der Lehrveranstaltung

Formale Verifikation von Software - Methoden und Werkzeuge.

Weitere Informationen

Erstes Treffen (Themenvergabe, Terminvereinbarungen): Mittwoch, 11.März 2015, 16:00, Seminarraum "Gödel" (Favoritenstr. 9/Erdgeschoß/Zugang vom Innenhof) Bitte melden Sie sich zum Seminar per TISS an, oder wenn das nicht möglich ist, per Email an salzer@logic.at. Weitere Informationen siehe www.logic.at/lvas/se_fvsw. Bei Bedarf wird das Seminar in englischer Sprache abgehalten.

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

LVA-Anmeldung

Von Bis Abmeldung bis
16.02.2015 00:00 15.03.2015 23:59

Anmeldemodalitäten

Ort: TISS

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 933 Information & Knowledge Management Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
066 950 Informatikdidaktik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

Englisch