Määritys - menetelmä - toteutus
Tärkeä käsitteellinen erottelu:
- Tehtävän määritys (spesifikaatio): kuvaus siitä, mihin lähtötietoihin (syötteisiin) liittyvät mitkä tulostiedot (vasteet)
- kuvaustapaa ei rajoitettu
- esim. yhteenlaskutehtävän määritys:
- merk. numerojonon a = anan-1…a0 arvoa
v(a) = a0 + 10a1 + … + 10nan
- syöte: numerojonot
a = anan-1…a0 ja b = bnbn-1…b0
- tulos: numerojono z = znzn-1…z0, jolla
- Tehtävän ratkaisumenetelmä (algoritmi): täsmällinen kuvaus siitä, miten tehtävä ratkaistaan
- kuvaustapa vapaa, kuitenkin niin tarkka että menetelmää voidaan seurata mekaanisesti