Formaalit menetelmät ohjelmointitekniikassa
Formaalit menetelmät ohjelmointitekniikassa
Åbo Akademi
Yksikön johtaja: professori Ralph-Johan Back
p. (02) 215 4382 tai
backrj@abo.fi
Huippuyksikön kotisivu
Åbo Akademin Formaalit menetelmät ohjelmointitekniikassa -yksikkö tutkii tietokoneiden ohjelmointimenetelmiä ja kehittää tietokoneella tuettuja ohjelmointityökaluja. Keskeisenä tavoitteena on kehittää täsmällisiä matemaattisia menetelmiä (nk. formaaleja menetelmiä), joiden avulla ohjelmistojen oikea ja luotettava toiminta voidaan varmistaa rakentamisvaiheessa.
Formaaleja menetelmiä sovelletaan tutkimuksessa ohjelmointiprosessin eri vaiheisiin, kuten ohjelmiston määrittelyyn, suunnitteluun, toteuttamiseen ja ohjelmiston oikeellisuuden tarkistamiseen. Formaaleja menetelmiä on sovellettu laaja-alaisesti erilaisiin ohjelmointitehtäviin, kuten esimerkiksi hajautettujen järjestelmien laadintaan, rinnakkaisprosessorien ohjelmointiin, VLSI-piirien rakentamiseen ohjelmointitekniikalla ja oliopohjaisten järjestelmien rakentamiseen.