Opintojaksot   |Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opintojakson vastuuhenkilö
Antti Valmari

Luentoajat ja -paikat
Per III,IV: Tiistai 12 - 14, TB206
Per III,IV: Keskiviikko 12 - 14, TB206

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

Esitiedot

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

Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

Huomautuksia

Luennoidaan joka toinen lukuvuosi.

Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

- Lähiopetuksen osuus: 52 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 48 %

Mitoitus

Opetusmuodot	Tuntia
Luennot	42
Harjoitukset	84
Kaikki yhteensä	126

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

Opintojakson kotisivu

Viimeksi muokattu	26.01.2007
Muokkaaja	Antti Valmari