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 |
|
|
|
|
|
Luennot (h): |
3+ |
3 |
- |
- |
- |
Harjoitukset (h): |
2+ |
2 |
- |
- |
- |
Tavoitteet
Reaktiivisen ja / tai rinnakkaisen tietoteknisen järjestelmän ulkoisella käyttäytymisellä tarkoitetaan järjestelmän käyttäytymisen niitä piirteitä, jotka ovat havaittavissa järjestelmän ja sen ympäristön välistä rajapintaa tarkastelemalla. Kurssin tavoitteena on oppia ymmärtämään ulkoiseen käyttäytymiseen liittyviä ilmiöitä sekä niiden merkitystä ohjelmistotyössä. Kurssi antaa myös mahdollisuuden tutustua tutkimuksen tekoon ohjelmistotekniikan alalla.
Sisältö
Järjestelmien määrittely rinnakkaisina siirtymäsysteemeinä. Ulkoinen käyttäytyminen tamperelais-helsinkiläisen CFFD-teorian (tunnetun CSP-teorian muunnos) valossa. Teorian sovelluksia järjestelmien määrittelyyn, testaukseen ja oikeaksi osoittamiseen.
Tutkintovaatimukset
Pakolliset laskuharjoitukset ja tentti.
Kirjallisuus
Luentomonisteet.
Esitiedot
Numero |
Nimi |
|
|
8100310 |
5 |
Pakollinen |
|
8100500 |
3 |
Suositus |
|
8101100 |
4 |
Suositus |
|
73116 |
3 |
Pakollinen |
Huomautuksia
Tarkoitettu lähinnä jatko-opintoihin, mutta suositellaan myös teoriasta tai tutkimustyöstä kiinnostuneille perusopiskelijoille. Luennoidaan parittomina vuosina. Vuorottelee opintojakson 8101160 kanssa. Luennoidaan lukuvuonna 2003-2004.