Numero 24, Joulukuu 2005

Sisällys

Päätoimittajan palsta
Opiskelijan myyttiset 1 600 tuntia
Antti Valmari, Tampereen teknillinen yliopisto
 
    4
Historialaajennus mallipohjaisessa testauksessa
Timo Kellomäki, Tampereen teknillinen yliopisto
 
8
Ohjelmistojen äärellistilaisten, formaalisti oikeiden mallien tuottaminen automaattisesti
Antti Siirtola, Oulun yliopisto
 
22
Vuorovaikutteiset puhesovellukset
Markku Turunen ja Jaakko Hakulinen, Tampereen yliopisto
 
35
Web-Pilarcos: väliohjelmistopalveluita sähköisille liiketoimintaverkostoille
Toni Ruokolainen, Janne Metso ja Lea Kutvonen, Helsingin yliopisto
 
52