Formella programmeringsmetoder

Åbo Akademi
Ledare: akademiprofessor Ralph-Johan Back
Tfn (02) 215 4382
backrj@abo.fi

Enhetens hemsida

Enheten Formella programmeringsmetoder vid Åbo Akademi forskar i datorprogrammering och tar fram datorstödda programmeringsverktyg. Ett viktigt syfte är att utveckla exakta matematiska metoder (s.k. formella metoder) som gör det möjligt att redan i programmeringsskedet testa att programmen fungerar stabilt och tillförlitligt.

De formella metoderna tillämpas i olika faser av programmeringsprocessen: definition, planering, realisering och testning. Formella metoder har tillämpats i bred skala i olika programmeringssammanhang, t.ex. byggande av distribuerade system, programmering av parallellprocessorer, byggande av VLSI-kretsar med programmeringsteknik och byggande av objektorienterade system.