Opintojakson vastuuhenkilö
Antti Valmari

Opettajat
Antti Valmari, professori

Luentoajat ja -paikat
Per III,IV: Tiistai 8 - 10, TC210
Per III: Torstai 12 - 14, TC210
Per IV: Torstai 12 - 13, TC210

Toteutuskerrat
Toteutus 1

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä	Opetuskieli
Luento	-	-	4 h/vko+	3 h/vko	-	-	Vain suomeksi
Harjoitus	-	-	2 h/vko+	3 h/vko	-	-	Vain suomeksi

(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Tilakone on hyödyllinen käsite esimerkiksi abstraktien tietotyyppien, sulautettujen ohjelmistojen ja tietoliikenneprotokollien mallintamisessa. Tilakoneiden yhteistoiminnasta ja abstrahoinnista syntyy yllättävän monimutkaisia ja vaikeasti hallittavia käyttäytymisilmiöitä. Tavoitteena on oppia ymmärtämään niitä, ja siten välttämään virheitä järjestelmien suunnittelussa. Opintojakso on esimerkki viimeaikaisten teoreettisten tulosten soveltamisesta ohjelmistotyössä.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Muuttujalliset tilakoneet ja niiden käyttäytyminen.	Vahva bisimilaarisuus.
2.	Tilakoneiden rinnankytkentä ja abstrahointi.
3.	Ulkoinen käyttäytyminen.
4.	Sovelluksia järjestelmien määrittelyyn, testaukseen ja oikeaksi osoittamiseen.

Suoritusvaatimukset
Laskuharjoitukset ja/tai tentti.

Opintojakson arviointikriteerit
Laskuharjoitukset ja/tai tentti.

Esitiedot

Tunnus	Nimi	OP	P/S
MAT-20600	Diskreetti matematiikka	3	Pakollinen
OHJ-2150	Algoritmien analyysi	4	Pakollinen

Huomautuksia
Luennoidaan joka toinen lukuvuosi.

Opintojaksokorvaavuus
8101150 Rinnakkaisten järjestelmien ulkoinen käyttäytyminen

Opintojakson kotisivu

Viimeksi muokattu	11.05.2005
Muokkaaja	Antti Valmari