TKT-2510 FORMAALIT MENETELMÄT, 5 op
|
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 | - | - |
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
Viimeksi muokattu | 29.08.2005 |
Muokkaaja | Olli Vainio |