Opintojakson vastuuhenkilö
Heikki Orsila

Opettajat
Heikki Orsila, Tutkija, TC428

Luentoajat ja -paikat
Per IV,V: Keskiviikko 12 - 14, TB223

Toteutuskerrat
Toteutus 1

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä	Opetuskieli
Luento	-	-	-	2 h/vko+	2 h/vko	-	-
Harjoitus	-	-	-	2 h/vko+	3 h/vko	-	-

(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Formaalien menetelmien tunteminen ja soveltaminen digitaalisuunnittelussa käytännössä ja teoriassa. Erityisesti tärkeätä on tuntea luotettavan suunnittelun menetelmiä, ja osata tarkistaa valmiita järjestelmiä.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Yleisesti käytettyjen formaalien menetelmien ja työkalujen tunteminen digitaalisuunnittelussa.
2.	Formaalien menetelmien teorian ja käytännön tunteminen digitaalisuunnittelussa. Erityisesti tärkeitä ovat Model checking, equivalence checking, assertion-based design ja aikalogiikka.
3.	Yleisesti käytettyjen suunnitteluympäristöjen ja käytännönratkaisuiden tunteminen järjestelmien tarkistuksessa.

Suoritusvaatimukset
Seminaarit, harjoitustyöt ja tentti.

Opintojakson arviointikriteerit
Kurssi arvosana määräytyy seminaareista, harjoitustöistä ja tentistä.

Esitiedot

Tunnus	Nimi	OP	P/S
OHJ-2100	Ohjelmistotieteen perustyökaluja	5	Suositeltava
TKT-1200	Digitaalisuunnittelu I	4	Suositeltava
TKT-2400	Järjestelmien suunnittelu I	5	Suositeltava
TKT-2410	Järjestelmien suunnittelu II	5	Suositeltava

Huomautuksia

Opintojakson kotisivu

Viimeksi muokattu	29.08.2005
Muokkaaja	Olli Vainio