703520 Praktikum Formale Spezifikation

Sommersemester 2009 | Stand: 10.07.2009 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Dr. Joanna Chimiak-Opoka, +43 512 507 39752

LV-Nummer:

703520

Titel:

Praktikum Formale Spezifikation

Typ/Stunden:

PS 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Inhalt:

Anwendung grundlegender algebraischer und modellbasierter Spezifikationstechniken sowie von anwendungsorientierten Notationen des Software-Engineerings anhand von Fallstudien

Prüfungsmodus:

prüfungsimmanente Lehrveranstaltung

Anmerkungen:

Beginn: KW 10

Link:

https://qe-informatik.uibk.ac.at/index.php?option=com_content&id=58

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007

2. Semester

Ausgewählte Kapitel der Spezifikation (WM 7)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Do 12.03.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 19.03.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 26.03.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 02.04.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 23.04.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 30.04.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 07.05.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 14.05.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 28.05.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 04.06.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 18.06.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 25.06.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei
Do 02.07.2009	08.15 - 10.00	rr 20 rr 20	Barrierefrei