Opinto-opas 2008-2009 |
|||||
| Perus | Pori | KV | Jatko | Avoin | |
|
|
|
|||||||||||||||||
OHJ-2600 Tilakoneet, 5 op
|
Antti Valmari
Ei toteutuskertoja
Laskuharjoitukset ja/tai tentti.
Osasuoritusten pitää liittyä samaan toteutuskertaan
-
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ö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. |
Laskuharjoitukset ja/tai tentti.
Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)
| Opintojakso | P/S |
| MAT-20600 Diskreetti matematiikka | Pakollinen |
| OHJ-2150 Algoritmien analyysi | Pakollinen |
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
|
|
|
|