|
|
|||||||||||||||||
Opinto-opas 2010-2011
OHJ-2600 Tilakoneet, 5 op
|
Vastuuhenkilö
Antti Valmari
Suoritusvaatimukset
Viikottaiset laskuharjoitukset ja tentti. Jos opiskelijoita on vähän, suoritukseksi riittävät viikottaiset laskuharjoitukset..
Osasuoritusten pitää liittyä samaan toteutuskertaan
Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat
-
Osaamistavoitteet
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ö | 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. |
Opintojakson arvostelu
Laskuharjoitukset ja/tai tentti.
Arvosteluasteikko:
Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)
Osasuoritukset:
Oppimateriaali
| Tyyppi | Nimi | Tekijä | ISBN | URL | Painos,saatavuus... | Tenttimateriaali | Kieli |
| Luentokalvot | Antti Valmari | Suomi |
Esitietovaatimukset
| Opintojakso | P/S | Selite |
| OHJ-2156 Analysis of Algorithms | Pakollinen |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
|
|
|
|
Lisätiedot
Opintojaksoa ei toteuteta toistaiseksi. Vastaava englanninkielinen opintojakso OHJ-2606 State machines toteutetaan voimavarojen niin salliessa.
Soveltuu jatko-opinnoiksi
Ei luennoida lukuvuonna 2010-2011