Opintojaksot  
|Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|  |Haku|

Opinto-opas 2006-2007

OHJ-2600 TILAKONEET, 5 op
State Machines

Opintojakson vastuuhenkilö
Antti Valmari

Toteutuskerrat
  Periodi 1 Periodi 2 Periodi 3 Periodi 4 Periodi 5 Kesä
Luento - - 4 h/vko 3 h/vko - -
Harjoitus - - 2 h/vko 3 h/vko - -
(Lukuvuoden 2006-2007 aikataulu)

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ö
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. 
     

Suoritusvaatimukset
Laskuharjoitukset ja/tai tentti.

Opintojakson arviointikriteerit

  • Laskuharjoitukset ja/tai tentti.

  • Opintojaksolla käytetään numeerista arviointiasteikkoa (1-5)

  • Esitiedot
    Tunnus Nimi OP P/S
    MAT-20600 MAT-20600 Diskreetti matematiikka 3 Pakollinen
    OHJ-2150 OHJ-2150 Algoritmien analyysi 4 Pakollinen

    Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

    Huomautuksia

    Luennoidaan joka toinen lukuvuosi.

  • Opintojakson osasuoritusten pitää liittyä samaan toteutuskertaan.

  • Opintojakso soveltuu jatko-opinnoiksi.

  • Opintojaksoa ei luennoida lukuvuonna 2006-2007.

  • Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

  • Opintojaksolla hyödynnetyt tieto- ja viestintätekniikat
  • - tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
    - harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa

  • Arvioitu opintojakson toteutustapa
  • - Lähiopetuksen osuus: 52 %
    - Etäopetuksen osuus: 0 %
    - Opiskelijan itseopiskelun osuus: 48 %

    Mitoitus
    OpetusmuodotTuntia
    Luennot 42
    Harjoitukset 84
    Kaikki yhteensä 126

    Opintojaksokorvaavuus
    8101150 Rinnakkaisten järjestelmien ulkoinen käyttäytyminen

    Opintojakson kotisivu

    Viimeksi muokattu 23.01.2006
    MuokkaajaAntti Valmari