Opinto-opas 2004-2005

8101150 RINNAKKAISTEN JÄRJESTELMIEN ULKOINEN KÄYTTÄYTYMINEN, EXTERNALLY OBSERVABLE BEHAVIOUR OF CONCURRENT SYSTEMS, 3 ov

Tietoa luennoitsijoista
Professori ANTTI VALMARI

Luentoja ja harjoituksia
Luentoja yhteensä 42 h. Harjoituksia yhteensä 26 h.

Viikottainen opetus/periodi	S1	S2	K1	K2	Kesä
Luennot (h):	-	-	3+	3	-
Harjoitukset (h):	-	-	2+	2	-

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ö
Muuttujalliset tilakoneet ja niiden käyttäytyminen. Tilakoneiden rinnankytkentä ja abstrahointi. Ulkoinen käyttäytyminen. Sovelluksia järjestelmien määrittelyyn, testaukseen ja oikeaksi osoittamiseen.

Tutkintovaatimukset
Pakolliset laskuharjoitukset ja tentti.

Kirjallisuus
Luentomonisteet.

Esitiedot

Numero	Nimi	OV	P/S
8100310	Tietorakenteet ja algoritmit	5	Pakollinen
8100500	Ohjelmistotekniikan matemaattiset menetelmät	3	Suositus
8101100	Johdatus tietojenkäsittelyteoriaan	4	Suositus
73116	Algoritmimatematiikka	3	Pakollinen

Huomautuksia
Tarkoitettu sekä jatko-opintoihin että teoriasta kiinnostuneille perusopiskelijoille. Luennoidaan parillisina vuosina. Vuorottelee opintojakson 8101160 kanssa. Ei luennoida lukuvuonna 2004-2005.

Kurssin kotisivu