TTKK Opinto-opas
81270 Rinnakkaisten järjestelmien ulkoinen käyttäytyminen, 3,0 ov
Externally Observable Behaviour of Concurrent Systems, 3,0 cu
Professori ANTTI VALMARI
Luentoja 42 h. Harjoituksia 28 h.
| Viikottainen Opetus / Periodi |
S1 | S2 | K1 | K2 | Kesä |
|---|
| Luennot (h) | 3+ | 3 |
- | - | - |
|---|
| Harjoitukset (h) | 2+ | 2 |
- | - | - |
|---|
Luentoaika ja -paikka
Maanantai 14-17 salissa TB207
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.
Vaadittavat esitiedot
73116 Algoritmimatematiikka sekä 81125 Tietorakenteet ja
algoritmit tai 81370 Tietoralenteiden käyttö.
Suositeltavat esitiedot
81260 Johdatus tietojenkäsittelyteoriaan.
Huomautuksia
Tarkoitettu lähinnä lisensiaattikurssiksi, mutta suositellaan
myös teoriasta tai tutkimustyöstä kiinnostuneille
perusopiskelijoille. Luennoidaan parittomina vuosina.
Vuorottelee kurssin 81240 kanssa.
Linkkejä
Kurssin kotisivu.