|
Pääkirjoitus Ralph-Johan Back, Åbo Akademi | 2 | |
|
Toimittajan palsta Pekka Orponen, Helsingin yliopisto | 4 | |
|
Käyttöliittymä herää eloon Kari-Jouko Räihä, Tampereen yliopisto | 5 | |
|
Puuhahmonsovitus ja rakenteisen tekstin kyseleminen Pekka Kilpeläinen, Helsingin yliopisto | 12 | |
|
Invarianttien käyttö algoritmien todistamisessa Stefan Rönn, Svenska handelshögskolan | 22 | |
|
Rinnakkaisjärjestelmien formaali mallintaminen Jaana Eloranta, Helsingin yliopisto | 26 |